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

Start work on options for tab bar vertical margins

Browse Source 
Create the option, now need to implement it.
This commit is contained in:
Kovid Goyal
2021-06-05 08:09:27 +05:30
parent 7dc3184f31
commit f3977da8f3
7 changed files with 73 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
kitty/options/parse.py generated
View File

@@ -14,9 +14,9 @@ from kitty.options.utils import (
edge_width, env, font_features, hide_window_decorations, kitten_alias, macos_option_as_alt,
macos_titlebar_color, optional_edge_width, parse_map, parse_mouse_map, resize_draw_strategy,
scrollback_lines, scrollback_pager_history_size, symbol_map, tab_activity_symbol, tab_bar_edge,
tab_bar_min_tabs, tab_fade, tab_font_style, tab_separator, tab_title_template, to_cursor_shape,
to_font_size, to_layout_names, to_modifiers, url_prefixes, url_style, window_border_width,
window_size
tab_bar_margin_height, tab_bar_min_tabs, tab_fade, tab_font_style, tab_separator,
tab_title_template, to_cursor_shape, to_font_size, to_layout_names, to_modifiers, url_prefixes,
url_style, window_border_width, window_size
)
@@ -1149,6 +1149,9 @@ class Parser:
def tab_bar_edge(self, val: str, ans: typing.Dict[str, typing.Any]) -> None:
ans['tab_bar_edge'] = tab_bar_edge(val)
def tab_bar_margin_height(self, val: str, ans: typing.Dict[str, typing.Any]) -> None:
ans['tab_bar_margin_height'] = tab_bar_margin_height(val)
def tab_bar_margin_width(self, val: str, ans: typing.Dict[str, typing.Any]) -> None:
ans['tab_bar_margin_width'] = positive_float(val)