Port key handling in more kittens

Also fix decoding of enter/f3 key events
This commit is contained in:
Kovid Goyal
2021-01-15 10:22:20 +05:30
parent 9c6ba213f9
commit e09ed038e2
4 changed files with 57 additions and 65 deletions

7
kitty/key_encoding.py generated
View File

@@ -281,8 +281,11 @@ def decode_key_event(csi: str, csi_type: str) -> KeyEvent:
def key_name(num: int) -> str:
if not num:
return ''
num = csi_number_to_functional_number_map.get(num, num)
ans = functional_key_number_to_name_map.get(num)
if num != 13:
num = csi_number_to_functional_number_map.get(num, num)
ans = functional_key_number_to_name_map.get(num)
else:
ans = 'ENTER' if csi_type == 'u' else 'F3'
if ans is None:
ans = chr(num)
return ans