mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-23 16:58:09 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix update_encoding() not adding the last key

Browse Source
This commit is contained in:
Luflosi
2019-08-30 12:36:37 +02:00
parent 278bf6e897
commit ef25d5bbd5
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/key_encoding.py generated
View File

@@ -296,7 +296,7 @@ def update_encoding():
for k in sorted(keys, key=lambda k: getattr(defines, k)): for k in sorted(keys, key=lambda k: getattr(defines, k)):
val = getattr(defines, k) val = getattr(defines, k)
name = symbolic_name(k) name = symbolic_name(k)
if val < defines.GLFW_KEY_LAST and val != defines.GLFW_KEY_UNKNOWN: if val <= defines.GLFW_KEY_LAST and name != 'LAST' and val != defines.GLFW_KEY_UNKNOWN:
if name not in ans: if name not in ans:
ans[name] = encode(i) ans[name] = encode(i)
i += 1 i += 1