KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

...

Browse Source
This commit is contained in:
Kovid Goyal 2021-10-25 08:48:28 +05:30
parent d52e5fab1e
commit 0e29ee9299
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/options/utils.py
View File

@ -695,7 +695,7 @@ class TabBarMarginHeight(NamedTuple):
def tab_bar_margin_height(x: str) -> TabBarMarginHeight:
parts = x.split(maxsplit=1)
if len(parts) != 2:
log_error(f'Invalid tab_bar_margin_height: {tab_bar_margin_height}, ignoring')
log_error(f'Invalid tab_bar_margin_height: {x}, ignoring')
return TabBarMarginHeight()
ans = map(positive_float, parts)
return TabBarMarginHeight(next(ans), next(ans))