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

Ensure right margin is drawn

Browse Source
This commit is contained in:
Kovid Goyal 2021-10-25 10:27:47 +05:30
parent 691bf75b35
commit 1ab8d58bf7
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/tab_bar.py
View File

@ -503,10 +503,10 @@ class TabBar:
blank_rects.append(Border(0, tab_bar.bottom + 1, vw, central.top, bg))
g = self.window_geometry
if g.left > 0:
viewport_width = max(4 * cell_width, tab_bar.width - 2 * self.margin_width)
blank_rects.append(Border(0, g.top, g.left, g.bottom + 1, bg))
viewport_width = max(4 * cell_width, tab_bar.width - 2 * self.margin_width)
if g.right - 1 < viewport_width:
blank_rects.append(Border(g.right - 1, g.top, viewport_width, g.bottom + 1, bg))
self.blank_rects = tuple(blank_rects)
def layout(self) -> None: