KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

...

Browse Source
This commit is contained in:
Kovid Goyal 2016-10-30 17:33:27 +05:30
parent 4144d46844
commit e3116fc24c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/boss.py
View File

@ -156,7 +156,7 @@ class Boss(Thread):
def mark_dirtied(self): def mark_dirtied(self):
# Batch screen updates # Batch screen updates
if self.pending_update_screen is None: if self.pending_update_screen is None:
self.pending_update_screen = self.loop.call_later(0.02, self.apply_update_screen) self.pending_update_screen = self.loop.call_later(0.01, self.apply_update_screen)
def apply_update_screen(self): def apply_update_screen(self):
self.pending_update_screen = None self.pending_update_screen = None