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

When drawing the tab bar have the default left and right margins drawn in a color matching the neighboring tab

Browse Source 
Fixes #5719
This commit is contained in:
Kovid Goyal 2022-12-04 20:51:41 +05:30
parent 3cbca4955e
commit fda4aa21a1
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
3 changed files with 10 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/changelog.rst
View File

@ -59,6 +59,8 @@ Detailed list of changes
- A new option :opt:`tab_title_max_length` to limit the length of tab (:iss:`5718`)
- When drawing the tab bar have the default left and right margins drawn in a color matching the neighboring tab (:iss:`5719`)
0.26.5 [2022-11-07]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

3
kitty/options/definition.py
View File

@ -1248,7 +1248,8 @@ opt('tab_bar_margin_color', 'none',
option_type='to_color_or_none', ctype='color_or_none_as_int',
long_text='''
Color for the tab bar margin area. Defaults to using the terminal background
color.
color for margins above and below the tab bar. For side margins the default color
is chosen to match the background color of the neighboring tab.
'''
)
egr() # }}}

8
kitty/tab_bar.py
View File

@ -575,10 +575,14 @@ class TabBar:
if opts.tab_bar_margin_height.inner:
blank_rects.append(Border(0, tab_bar.bottom + 1, vw, central.top, bg))
g = self.window_geometry
left_bg = right_bg = bg
if opts.tab_bar_margin_color is None:
left_bg = BorderColor.tab_bar_left_edge_color
right_bg = BorderColor.tab_bar_right_edge_color
if g.left > 0:
blank_rects.append(Border(0, g.top, g.left, g.bottom + 1, bg))
blank_rects.append(Border(0, g.top, g.left, g.bottom + 1, left_bg))
if g.right - 1 < vw:
blank_rects.append(Border(g.right - 1, g.top, vw, g.bottom + 1, bg))
blank_rects.append(Border(g.right - 1, g.top, vw, g.bottom + 1, right_bg))
self.blank_rects = tuple(blank_rects)
def layout(self) -> None: