mirror of
https://github.com/keanuplayz/dotfiles.git
synced 2024-08-15 02:33:12 +00:00
[kitty] change tab_bar_style to powerline
This commit is contained in:
parent
49a01a09dc
commit
d7e9f0b72e
1 changed files with 6 additions and 1 deletions
|
@ -311,7 +311,10 @@ tab_bar_edge top
|
||||||
|
|
||||||
#: The margin to the left and right of the tab bar (in pts)
|
#: The margin to the left and right of the tab bar (in pts)
|
||||||
|
|
||||||
tab_bar_style separator
|
# TODO: change this to "separator" if maintainer of kitty agrees with me.
|
||||||
|
# see https://github.com/kovidgoyal/kitty/pull/2480
|
||||||
|
# fortunately, kitty seems to have built-in powerline character support
|
||||||
|
tab_bar_style powerline
|
||||||
|
|
||||||
#: The tab bar style, can be one of: fade or separator. In the fade
|
#: The tab bar style, can be one of: fade or separator. In the fade
|
||||||
#: style, each tab's edges fade into the background color, in the
|
#: style, each tab's edges fade into the background color, in the
|
||||||
|
@ -340,6 +343,8 @@ active_tab_font_style bold
|
||||||
# inactive_tab_background #999
|
# inactive_tab_background #999
|
||||||
inactive_tab_font_style italic
|
inactive_tab_font_style italic
|
||||||
|
|
||||||
|
tab_bar_background #999
|
||||||
|
|
||||||
#: Tab bar colors and styles
|
#: Tab bar colors and styles
|
||||||
|
|
||||||
#: }}}
|
#: }}}
|
||||||
|
|
Loading…
Reference in a new issue