ayo/kitty
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Ignore resize requests for very small sizes. Fixes #119

Browse source
This commit is contained in:
Kovid Goyal 2017-08-28 20:31:01 +05:30
parent b957ef441c
commit 273210cb97
No known key found for this signature in database
GPG key ID: 06BC317B515ACE7C
1 changed files with 8 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
kitty/boss.py
View file

@ -217,11 +217,14 @@ def on_window_resize(self, window, w, h):
self.timers.add(0.02, self.apply_pending_resize, w, h)
def apply_pending_resize(self, w, h):
viewport_size.width, viewport_size.height = w, h
self.tab_manager.resize()
self.resize_gl_viewport = True
self.pending_resize = False
glfw_post_empty_event()
if w > 100 and h > 100:
viewport_size.width, viewport_size.height = w, h
self.tab_manager.resize()
self.resize_gl_viewport = True
self.pending_resize = False
glfw_post_empty_event()
else:
safe_print('Ignoring resize request for sizes under 100x100')
def increase_font_size(self):
self.change_font_size(