mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-10-21 12:42:25 +00:00
...
This commit is contained in:
parent
c7d894d499
commit
d75395794d
1 changed files with 1 additions and 1 deletions
|
|
@ -59,7 +59,7 @@ def compare_maps(
|
|||
added = set(ef) - set(ei)
|
||||
removed = set(ei) - set(ef)
|
||||
changed = {k for k in set(ef) & set(ei) if ef[k] != ei[k]}
|
||||
which = 'shortcuts' if isinstance(next(iter(initial)), Shortcut) else 'mouse actions'
|
||||
which = 'shortcuts' if isinstance(next(iter(initial or final)), Shortcut) else 'mouse actions'
|
||||
if mode_name and (added or removed or changed):
|
||||
print(f'{title("Changes in keyboard mode: + " + mode_name)}')
|
||||
print_mapping_changes(ef, added, f'Added {which}:', print)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue