From ff1efebf702ff78ef70acfb58ebcb77add3592b5 Mon Sep 17 00:00:00 2001 From: pagedown Date: Wed, 19 Jan 2022 14:07:45 +0800 Subject: [PATCH] Fix mouse maps are indented with one more space --- kitty/debug_config.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/debug_config.py b/kitty/debug_config.py index 7ab07262e..b5f417902 100644 --- a/kitty/debug_config.py +++ b/kitty/debug_config.py @@ -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}'] when = {-1: 'repeat', 1: 'press', 2: 'doublepress', 3: 'triplepress'}.get(trigger.repeat_count, trigger.repeat_count) 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: if changes: