From d7e9f0b72e9dea214ed845a5deef135b4aca014f Mon Sep 17 00:00:00 2001 From: Dmytro Meleshko Date: Wed, 25 Mar 2020 21:42:25 +0200 Subject: [PATCH] [kitty] change tab_bar_style to powerline --- kitty/kitty.conf | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/kitty/kitty.conf b/kitty/kitty.conf index 33f9b5e..9145472 100644 --- a/kitty/kitty.conf +++ b/kitty/kitty.conf @@ -311,7 +311,10 @@ tab_bar_edge top #: 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 #: 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_font_style italic +tab_bar_background #999 + #: Tab bar colors and styles #: }}}