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

Also change string based on event type

Browse Source
This commit is contained in:
Kovid Goyal 2022-01-19 13:58:45 +05:30
parent 6090673bb5
commit 7ce74ac688
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
kitty/debug_config.py
View File

@ -100,12 +100,18 @@ def print_mapping_changes(defns: Dict[AnyEvent, str], changes: Set[AnyEvent], te
def compare_maps(final: Dict[AnyEvent, str], initial: Dict[AnyEvent, str], print: Callable[..., None]) -> None: def compare_maps(final: Dict[AnyEvent, str], initial: Dict[AnyEvent, str], print: Callable[..., None]) -> None:
is_mouse = False
for k in initial:
if isinstance(k, MouseEvent):
is_mouse = True
break
added = set(final) - set(initial) added = set(final) - set(initial)
removed = set(initial) - set(final) removed = set(initial) - set(final)
changed = {k for k in set(final) & set(initial) if final[k] != initial[k]} changed = {k for k in set(final) & set(initial) if final[k] != initial[k]}
print_mapping_changes(final, added, 'Added shortcuts:', print) which = 'mouse actions' if is_mouse else 'shortcuts'
print_mapping_changes(initial, removed, 'Removed shortcuts:', print) print_mapping_changes(final, added, f'Added {which}:', print)
print_mapping_changes(final, changed, 'Changed shortcuts:', print) print_mapping_changes(initial, removed, f'Removed {which}:', print)
print_mapping_changes(final, changed, f'Changed {which}:', print)
def flatten_sequence_map(m: SequenceMap) -> ShortcutMap: def flatten_sequence_map(m: SequenceMap) -> ShortcutMap: