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

Fix #2434

Browse Source
This commit is contained in:
Kovid Goyal 2020-03-14 20:19:26 +05:30
parent dfb543bd94
commit 7c4a2ba329
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
kittens/hints/main.py
View File

@ -36,7 +36,7 @@ def kitty_common_opts() -> 'KittyCommonOpts':
import json
v = os.environ.get('KITTY_COMMON_OPTS')
if v:
return cast(KittyCommonOpts, json.loads(v))
return cast('KittyCommonOpts', json.loads(v))
from kitty.config import common_opts_as_dict
return common_opts_as_dict()