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

tui: Use correct key names for enter and backspace keys

Browse Source
This commit is contained in:
Kovid Goyal 2018-05-24 15:23:34 +05:30
parent a33ebce3c9
commit de4384a420
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
kitty/key_encoding.py generated
View File

@ -348,9 +348,9 @@ config_key_map.update({
'ESC': g['ESCAPE'], 'ESC': g['ESCAPE'],
}) })
enter_key = KeyEvent(PRESS, 0, g['ENTER'])
backspace_key = KeyEvent(PRESS, 0, g['BACKSPACE'])
del key_name, enc, g del key_name, enc, g
enter_key = KeyEvent(PRESS, 0, ENCODING['ENTER'])
backspace_key = KeyEvent(PRESS, 0, ENCODING['BACKSPACE'])
def decode_key_event(text): def decode_key_event(text):