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

Add missing modifier key aliases

Browse Source
This commit is contained in:
pagedown 2022-08-09 12:15:55 +08:00
parent 9f1c9529aa
commit ee4e9aa678
No known key found for this signature in database
GPG Key ID: E921CF18AC8FF6EB
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
kitty/key_encoding.py generated
View File

@ -292,14 +292,18 @@ enter_key = KeyEvent(key='ENTER')
backspace_key = KeyEvent(key='BACKSPACE')
config_mod_map = {
'SHIFT': SHIFT,
'⇧': SHIFT,
'ALT': ALT,
'OPTION': ALT,
'OPT': ALT,
'⌥': ALT,
'⌘': SUPER,
'CMD': SUPER,
'SUPER': SUPER,
'CTRL': CTRL,
'COMMAND': SUPER,
'CMD': SUPER,
'⌘': SUPER,
'CONTROL': CTRL,
'CTRL': CTRL,
'⌃': CTRL,
'HYPER': HYPER,
'META': META,
'NUM_LOCK': NUM_LOCK,