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

Fix some type errors

Browse Source
This commit is contained in:
Kovid Goyal
2021-11-22 21:16:09 +05:30
parent e97afb3433
commit 1da8ad3839
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/config.py
View File

@@ -91,7 +91,7 @@ def prepare_config_file_for_editing() -> str:
return defconf
def finalize_keys(opts: Options, alias_map: Dict[str, ActionAlias]) -> None:
def finalize_keys(opts: Options, alias_map: Dict[str, List[ActionAlias]]) -> None:
defns: List[KeyDefinition] = []
for d in opts.map:
if d is None: # clear_all_shortcuts
@@ -122,7 +122,7 @@ def finalize_keys(opts: Options, alias_map: Dict[str, ActionAlias]) -> None:
opts.sequence_map = sequence_map
def finalize_mouse_mappings(opts: Options, alias_map: Dict[str, ActionAlias]) -> None:
def finalize_mouse_mappings(opts: Options, alias_map: Dict[str, List[ActionAlias]]) -> None:
defns: List[MouseMapping] = []
for d in opts.mouse_map:
if d is None: # clear_all_mouse_actions