From 3f926dfd8bc67fdb7205051cd013528524f153df Mon Sep 17 00:00:00 2001 From: Luflosi Date: Mon, 2 Sep 2019 21:22:27 +0200 Subject: [PATCH] Use keyboard key constants instead of hardcoded values --- kitty/keys.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/keys.py b/kitty/keys.py index e92eb6e4d..c2568d86f 100644 --- a/kitty/keys.py +++ b/kitty/keys.py @@ -161,7 +161,7 @@ action_map = { def extended_key_event(key, mods, action): if key >= defines.GLFW_KEY_LAST or key == defines.GLFW_KEY_UNKNOWN or ( # Shifted printable key should be handled by on_text_input() - mods <= defines.GLFW_MOD_SHIFT and 32 <= key <= 126 + mods <= defines.GLFW_MOD_SHIFT and defines.GLFW_KEY_SPACE <= key <= defines.GLFW_KEY_LAST_PRINTABLE ): return b'' if mods == 0 and key in (