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

Allow for up to 256 keys instead of 128

Browse Source
This commit is contained in:
Luflosi
2019-09-02 21:27:14 +02:00
parent 97e6978ed8
commit 4037480d2b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/keys.py
View File

@@ -314,7 +314,7 @@ def generate_key_table_impl(w):
w('%d, /* %s */' % (key_count, key_name(k))) w('%d, /* %s */' % (key_count, key_name(k)))
key_rmap.append(i) key_rmap.append(i)
key_count += 1 key_count += 1
if key_count > 128: if key_count > 256:
raise OverflowError('Too many keys') raise OverflowError('Too many keys')
w('};\n') w('};\n')
w('static inline const char* key_name(int key) { switch(key) {') w('static inline const char* key_name(int key) { switch(key) {')
@@ -354,7 +354,7 @@ def generate_key_table_impl(w):
ind('case 0x{:x}:'.format(mods)) ind('case 0x{:x}:'.format(mods))
i += 1 i += 1
if key_bytes: if key_bytes:
ind('switch(key & 0x7f) { default: return NULL;') ind('switch(key & 0xff) { default: return NULL;')
i += 1 i += 1
for key, (data, glfw_key) in key_bytes.items(): for key, (data, glfw_key) in key_bytes.items():
ind('case {}: // {}'.format(key, key_name(keys[glfw_key]))) ind('case {}: // {}'.format(key, key_name(keys[glfw_key])))