From 33e63f000a530c3a8ec3d0d7eb5e207287261fc5 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sat, 5 Jun 2021 12:22:54 +0530 Subject: [PATCH] Make mouse mapping gen-config order stable --- kitty/options/types.py | 4 ++-- kitty/options/utils.py | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/kitty/options/types.py b/kitty/options/types.py index 4e87702de..bd298f835 100644 --- a/kitty/options/types.py +++ b/kitty/options/types.py @@ -777,10 +777,10 @@ if is_macos: defaults.map.append(KeyDefinition(False, KeyAction('clear_terminal', ('reset', True)), 10, False, 114, ())) defaults.mouse_map = [ MouseMapping(0, 0, -2, False, KeyAction('mouse_click_url_or_select')), # click_url_or_select - MouseMapping(0, 1, -2, False, KeyAction('mouse_click_url_or_select')), # click_url_or_select_grabbed MouseMapping(0, 1, -2, True, KeyAction('mouse_click_url_or_select')), # click_url_or_select_grabbed - MouseMapping(0, 5, -1, False, KeyAction('mouse_click_url')), # click_url + MouseMapping(0, 1, -2, False, KeyAction('mouse_click_url_or_select')), # click_url_or_select_grabbed MouseMapping(0, 5, -1, True, KeyAction('mouse_click_url')), # click_url + MouseMapping(0, 5, -1, False, KeyAction('mouse_click_url')), # click_url MouseMapping(2, 0, -1, False, KeyAction('paste_selection')), # paste_selection MouseMapping(0, 0, 1, False, KeyAction('mouse_selection', (0,))), # start_simple_selection MouseMapping(0, 6, 1, False, KeyAction('mouse_selection', (2,))), # start_rectangle_selection diff --git a/kitty/options/utils.py b/kitty/options/utils.py index b135a7aab..bda90dfbf 100644 --- a/kitty/options/utils.py +++ b/kitty/options/utils.py @@ -911,7 +911,7 @@ def parse_mouse_map(val: str) -> Iterable[MouseMapping]: return if paction is None: return - for mode in specified_modes: + for mode in sorted(specified_modes): yield MouseMapping(button, mods, count, mode == 'grabbed', paction)