mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-15 13:04:38 +02:00
Code Issues Packages Projects Releases Wiki Activity

Use keyboard key constants instead of hardcoded values

Browse Source
This commit is contained in:
Luflosi
2019-09-02 21:22:27 +02:00
parent 59f64c5e33
commit 3f926dfd8b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/keys.py
View File

@@ -161,7 +161,7 @@ action_map = {
def extended_key_event(key, mods, action): def extended_key_event(key, mods, action):
if key >= defines.GLFW_KEY_LAST or key == defines.GLFW_KEY_UNKNOWN or ( if key >= defines.GLFW_KEY_LAST or key == defines.GLFW_KEY_UNKNOWN or (
# Shifted printable key should be handled by on_text_input() # 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'' return b''
if mods == 0 and key in ( if mods == 0 and key in (