mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-27 02:31:45 +02:00
Code Issues Packages Projects Releases Wiki Activity

Initial stab at switching to poll() instead of select()

Browse Source 
Also avoid python code in the child monitoring inner loop
This commit is contained in:
Kovid Goyal
2017-08-27 19:50:47 +05:30
parent 40254625d9
commit 6176607ac4
8 changed files with 331 additions and 109 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/tabs.py
View File

@@ -116,7 +116,7 @@ class Tab:
window = Window(self, child, self.opts, self.args)
if override_title is not None:
window.title = window.override_title = override_title
get_boss().add_child_fd(child.child_fd, window.read_ready, window.write_ready)
get_boss().add_child_fd(child.child_fd, window)
self.active_window_idx = self.current_layout.add_window(self.windows, window, self.active_window_idx)
self.relayout_borders()
glfw_post_empty_event()