Add a new option tab_bar_background to specify a different color for the tab bar

Fixes #2198
This commit is contained in:
Kovid Goyal
2019-12-17 20:08:33 +05:30
parent b92f95b092
commit f59afff1d1
3 changed files with 8 additions and 2 deletions

View File

@@ -730,6 +730,7 @@ o('active_tab_font_style', 'bold-italic', option_type=tab_font_style)
o('inactive_tab_foreground', '#444', option_type=to_color)
o('inactive_tab_background', '#999', option_type=to_color)
o('inactive_tab_font_style', 'normal', option_type=tab_font_style)
o('tab_bar_background', 'none', option_type=to_color_or_none)
# }}}