From 273210cb97a73db71f5fb79079be90317387e001 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Mon, 28 Aug 2017 20:31:01 +0530 Subject: [PATCH] Ignore resize requests for very small sizes. Fixes #119 --- kitty/boss.py | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/kitty/boss.py b/kitty/boss.py index c46c92fd1..859f7fabb 100644 --- a/kitty/boss.py +++ b/kitty/boss.py @@ -217,11 +217,14 @@ class Boss(Thread): 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(