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

...

Browse Source
This commit is contained in:
Kovid Goyal 2017-08-26 18:24:31 +05:30
parent f9b1a71edd
commit 3c7305b93c
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/config.py
View File

@ -200,7 +200,7 @@ def positive_float(x):
def adjust_line_height(x): def adjust_line_height(x):
if x.endswith('%'): if x.endswith('%'):
return float(x[:-1]) / 100.0 return float(x[:-1].strip()) / 100.0
return int(x) return int(x)