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

Double the screen repaint delay

Browse Source 
Greatly improves performance when a lot of output is being generated.
This commit is contained in:
Kovid Goyal
2016-11-19 17:07:13 +05:30
parent d87e4eeb95
commit df4c90d94b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/boss.py
View File

@@ -40,7 +40,7 @@ class Boss(Thread):
shutting_down = False shutting_down = False
pending_title_change = pending_icon_change = None pending_title_change = pending_icon_change = None
pending_color_changes = {} pending_color_changes = {}
SCREEN_UPDATE_DELAY = 1 / 100 # seconds SCREEN_UPDATE_DELAY = 2 / 100 # seconds
def __init__(self, window, window_width, window_height, opts, args): def __init__(self, window, window_width, window_height, opts, args):
Thread.__init__(self, name='ChildMonitor') Thread.__init__(self, name='ChildMonitor')