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

A new option to set the tab bar margin color independently

Browse Source
This commit is contained in:
Kovid Goyal
2021-10-25 12:21:46 +05:30
parent c0927a3643
commit 4385acd3c6
15 changed files with 49 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/borders.py
View File

@@ -15,7 +15,7 @@ from .window_list import WindowGroup, WindowList
class BorderColor(IntFlag):
# See the border vertex shader for how these flags become actual colors
default_bg, active, inactive, window_bg, bell, tab_bar_bg = ((1 << i) for i in range(6))
default_bg, active, inactive, window_bg, bell, tab_bar_bg, tab_bar_margin_color = ((1 << i) for i in range(7))
class Border(NamedTuple):