From 44a413df81736a1a4f5e208791cbb1e21b7c07d9 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Fri, 19 Jan 2018 16:02:07 +0530 Subject: [PATCH] Fix blank rects on the sides of the tab bar not being drawn --- kitty/tabs.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kitty/tabs.py b/kitty/tabs.py index 55d20e948..25a6e7ba3 100644 --- a/kitty/tabs.py +++ b/kitty/tabs.py @@ -286,9 +286,9 @@ 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.tab_bar_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), Rect(g.right - 1, g.top, viewport_width, g.bottom)) else: - self.tab_bar_blank_rects = () + self.blank_rects = () self.screen_geometry = sg = calculate_gl_geometry(g, vw, vh, cell_width, cell_height) set_tab_bar_render_data(self.os_window_id, sg.xstart, sg.ystart, sg.dx, sg.dy, self.screen)