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

More typing work

Browse Source
This commit is contained in:
Kovid Goyal
2020-03-09 20:56:06 +05:30
parent abff2292c1
commit 8ae110691e
6 changed files with 77 additions and 72 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
kittens/diff/config_data.py
View File

@@ -6,14 +6,14 @@
# Utils {{{
from functools import partial
from gettext import gettext as _
from typing import Any, Dict, Union
from typing import Any, Dict, Sequence, Union
from kitty.conf.definition import Option, Shortcut, option_func
from kitty.conf.utils import positive_int, python_string, to_color
# }}}
all_options: Dict[str, Union[Option, Shortcut]] = {}
all_options: Dict[str, Union[Option, Sequence[Shortcut]]] = {}
o, k, g, all_groups = option_func(all_options, {
'colors': [_('Colors')],
'diff': [_('Diffing'), ],