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

oops

Browse Source
This commit is contained in:
Kovid Goyal 2017-08-28 08:41:19 +05:30
parent a1d75eb00d
commit af3c89d79f
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/boss.py
View File

@ -48,7 +48,7 @@ class Timers(_Timers):
def add(self, delay, timer, *args):
# Needed because bound methods are recreated on every access
timer = self.timer_hash.setdefault(timer, timer)
return _Timers.add(self, delay, timer) if args else _Timers.add(self, delay, timer, args)
return _Timers.add(self, delay, timer, args) if args else _Timers.add(self, delay, timer)
def remove(self, timer):
# Needed because bound methods are recreated on every access
@ -240,7 +240,7 @@ class Boss(Thread):
# debounce resize events
self.pending_resize = True
yield
self.timers.add(0.02, self.apply_pending_resize, (w, h))
self.timers.add(0.02, self.apply_pending_resize, w, h)
def apply_pending_resize(self, w, h):
if w > 100 and h > 100:

2
kitty/child-monitor.c
View File

@ -165,7 +165,7 @@ loop(ChildMonitor *self) {
timers_call(self->timers);
for (i = 0; i < self->count; i++) {
if (self->children[i].screen->change_tracker->dirty) {
if (!timers_add_if_missing(self->timers, self->repaint_delay, self->children->update_screen, NULL)) PyErr_Print();
if (!timers_add_if_missing(self->timers, self->repaint_delay, self->children[i].update_screen, NULL)) PyErr_Print();
}
}
}