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

This commit is contained in:
Kovid Goyal 2019-08-30 16:20:42 +05:30
commit 8cdb6647ed
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

8
kitty/key_encoding.py generated
View File

@ -129,7 +129,8 @@ ENCODING = {
'Y': 'q',
'Z': 'r',
'PLUS': 'Bi',
'UNDERSCORE': 'Bj'
'UNDERSCORE': 'Bj',
'MENU': 'Bk'
}
KEY_MAP = {
32: 'A',
@ -252,7 +253,8 @@ KEY_MAP = {
344: 'Be',
345: 'Bf',
346: 'Bg',
347: 'Bh'
347: 'Bh',
348: 'Bk'
}
# END_ENCODING }}}
@ -296,7 +298,7 @@ def update_encoding():
for k in sorted(keys, key=lambda k: getattr(defines, k)):
val = getattr(defines, 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:
ans[name] = encode(i)
i += 1