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

Fix mouse maps are indented with one more space

Browse Source
This commit is contained in:
pagedown 2022-01-19 14:07:45 +08:00
parent 9334ed773e
commit ff1efebf70
No known key found for this signature in database
GPG Key ID: E921CF18AC8FF6EB
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/debug_config.py
View File

@ -102,7 +102,7 @@ def compare_mousemaps(final: MouseMap, initial: MouseMap, print: Callable[..., N
names = list(mod_to_names(trigger.mods)) + [f'b{trigger.button+1}'] names = list(mod_to_names(trigger.mods)) + [f'b{trigger.button+1}']
when = {-1: 'repeat', 1: 'press', 2: 'doublepress', 3: 'triplepress'}.get(trigger.repeat_count, trigger.repeat_count) when = {-1: 'repeat', 1: 'press', 2: 'doublepress', 3: 'triplepress'}.get(trigger.repeat_count, trigger.repeat_count)
grabbed = 'grabbed' if trigger.grabbed else 'ungrabbed' grabbed = 'grabbed' if trigger.grabbed else 'ungrabbed'
print('\t', '+'.join(names), when, grabbed, defn) print('\t' + '+'.join(names), when, grabbed, defn)
def print_changes(defns: MouseMap, changes: Set[MouseEvent], text: str) -> None: def print_changes(defns: MouseMap, changes: Set[MouseEvent], text: str) -> None:
if changes: if changes: