mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-10-21 04:32:05 +00:00
...
This commit is contained in:
parent
d75395794d
commit
b0ab5bd5eb
1 changed files with 1 additions and 1 deletions
|
|
@ -61,7 +61,7 @@ def compare_maps(
|
|||
changed = {k for k in set(ef) & set(ei) if ef[k] != ei[k]}
|
||||
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(f'{title("Changes in keyboard mode: " + mode_name)}')
|
||||
print_mapping_changes(ef, added, f'Added {which}:', print)
|
||||
print_mapping_changes(ei, removed, f'Removed {which}:', print)
|
||||
print_mapping_changes(ef, changed, f'Changed {which}:', print)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue