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

...

Browse Source
This commit is contained in:
Kovid Goyal 2022-06-07 13:05:07 +05:30
parent 6afbdbe94f
commit 9f5f113840
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
kittens/tui/utils.py
View File

@ -55,7 +55,10 @@ def human_size(
def kitty_opts() -> 'Options': def kitty_opts() -> 'Options':
from kitty.fast_data_types import get_options, set_options from kitty.fast_data_types import get_options, set_options
try:
ans = cast(Optional['Options'], get_options()) ans = cast(Optional['Options'], get_options())
except RuntimeError:
ans = None
if ans is None: if ans is None:
from kitty.cli import create_default_opts from kitty.cli import create_default_opts
from kitty.utils import suppress_error_logging from kitty.utils import suppress_error_logging