mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-10 06:05:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix typing issues pointed out by updated mypy

Browse Source
This commit is contained in:
Kovid Goyal
2020-10-12 23:03:07 +05:30
parent 91a714947c
commit efca2658ea
5 changed files with 20 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/key_encoding.py generated
View File

@@ -424,7 +424,7 @@ def update_encoding() -> None:
ans = ENCODING
key_map = {}
i = len(ans)
for k in sorted(keys, key=lambda k: getattr(defines, k)):
for k in sorted(keys, key=lambda k: int(getattr(defines, k))):
if k in ('GLFW_KEY_LAST', 'GLFW_KEY_LAST_PRINTABLE'):
continue
val = getattr(defines, k)