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

tab bar blank rects dont extend down enough

Browse Source
This commit is contained in:
Kovid Goyal 2018-01-19 17:05:18 +05:30
parent 213768b6e0
commit 04e1b8b1ae
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/tabs.py
View File

@ -286,7 +286,7 @@ class TabBar: # {{{
self.window_geometry = g = WindowGeometry( self.window_geometry = g = WindowGeometry(
margin, tab_bar.top, viewport_width - margin, tab_bar.bottom, s.columns, s.lines) margin, tab_bar.top, viewport_width - margin, tab_bar.bottom, s.columns, s.lines)
if margin > 0: 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: else:
self.blank_rects = () self.blank_rects = ()
self.screen_geometry = sg = calculate_gl_geometry(g, vw, vh, cell_width, cell_height) self.screen_geometry = sg = calculate_gl_geometry(g, vw, vh, cell_width, cell_height)