KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge branch 'format_key_encoding' of https://github.com/Luflosi/kitty

Browse Source
This commit is contained in:
Kovid Goyal
2019-09-02 07:49:30 +05:30
parent 3bf1d73b07 481047a446
commit 72f7cb3b7d
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/key_encoding.py generated
View File

@@ -298,7 +298,9 @@ 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 name not in ('LAST', 'LAST_PRINTABLE') and val != defines.GLFW_KEY_UNKNOWN: if val <= defines.GLFW_KEY_LAST and name not in (
'LAST', 'LAST_PRINTABLE'
) 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