From 04e1b8b1ae113dfa3421c947b16a5d81454d1665 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Fri, 19 Jan 2018 17:05:18 +0530 Subject: [PATCH] tab bar blank rects dont extend down enough --- kitty/tabs.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/tabs.py b/kitty/tabs.py index 25a6e7ba3..7ebd18688 100644 --- a/kitty/tabs.py +++ b/kitty/tabs.py @@ -286,7 +286,7 @@ class TabBar: # {{{ self.window_geometry = g = WindowGeometry( margin, tab_bar.top, viewport_width - margin, tab_bar.bottom, s.columns, s.lines) if margin > 0: - self.blank_rects = (Rect(0, g.top, g.left, g.bottom), Rect(g.right - 1, g.top, viewport_width, g.bottom)) + self.blank_rects = (Rect(0, g.top, g.left, g.bottom + 1), Rect(g.right - 1, g.top, viewport_width, g.bottom + 1)) else: self.blank_rects = () self.screen_geometry = sg = calculate_gl_geometry(g, vw, vh, cell_width, cell_height)