mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-19 06:54:58 +02:00
Code Issues Packages Projects Releases Wiki Activity

feat: don't draw visible tab bar margins if width is 0

Browse Source 
Closes: https://github.com/kovidgoyal/kitty/issues/7871
This commit is contained in:
Greg Hurrell
2024-09-19 13:14:17 +02:00
parent 1a9abbcc7c
commit 44e643ae3f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/tab_bar.py
View File

@@ -599,7 +599,7 @@ class TabBar:
blank_rects.append(Border(0, tab_bar.bottom + 1, vw, central.top, bg)) blank_rects.append(Border(0, tab_bar.bottom + 1, vw, central.top, bg))
g = self.window_geometry g = self.window_geometry
left_bg = right_bg = bg left_bg = right_bg = bg
if opts.tab_bar_margin_color is None: if opts.tab_bar_margin_color is None or opts.tab_bar_margin_width == 0:
left_bg = BorderColor.tab_bar_left_edge_color left_bg = BorderColor.tab_bar_left_edge_color
right_bg = BorderColor.tab_bar_right_edge_color right_bg = BorderColor.tab_bar_right_edge_color
if g.left > 0: if g.left > 0: