From 77522b7a247b6752e183f643253335ce2a062d48 Mon Sep 17 00:00:00 2001 From: Lukasz Wierzbowski Date: Sun, 15 Nov 2020 02:31:52 +0100 Subject: [PATCH] Handle AltGr or Shift for +10 jump --- katrain/__main__.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/katrain/__main__.py b/katrain/__main__.py index 187d827..ce82345 100644 --- a/katrain/__main__.py +++ b/katrain/__main__.py @@ -483,6 +483,7 @@ class KaTrainGui(Screen, KaTrainBase): return ctrl_pressed = "ctrl" in modifiers alt_pressed = "alt" in modifiers + shift_pressed = "shift" in modifiers shortcuts = self.shortcuts if keycode[1] == "tab": self.play_mode.switch_ui_mode() @@ -495,9 +496,9 @@ class KaTrainGui(Screen, KaTrainBase): elif keycode[1] in ["`", "~", "m"] and ctrl_pressed: self.zen = (self.zen + 1) % 3 elif keycode[1] in ["left", "z"]: - self("undo", 1 + alt_pressed * 9 + (ctrl_pressed and not alt_pressed) * 999) + self("undo", 1 + (alt_pressed or shift_pressed) * 9 + (ctrl_pressed and not alt_pressed) * 999) elif keycode[1] in ["right", "x"]: - self("redo", 1 + alt_pressed * 9 + (ctrl_pressed and not alt_pressed) * 999) + self("redo", 1 + (alt_pressed or shift_pressed) * 9 + (ctrl_pressed and not alt_pressed) * 999) elif keycode[1] == "home": self("undo", 999) elif keycode[1] == "end":