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

Add the option key abbreviation opt

Browse Source
This commit is contained in:
pagedown 2021-11-15 17:22:20 +08:00
parent b696d3f960
commit 2db7f559e3
No known key found for this signature in database
GPG Key ID: E921CF18AC8FF6EB
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/options/utils.py
View File

@ -34,7 +34,7 @@ SequenceMap = Dict[SingleKey, SubSequenceMap]
MINIMUM_FONT_SIZE = 4 MINIMUM_FONT_SIZE = 4
default_tab_separator = ' ┇' default_tab_separator = ' ┇'
mod_map = {'CTRL': 'CONTROL', 'CMD': 'SUPER', '⌘': 'SUPER', mod_map = {'CTRL': 'CONTROL', 'CMD': 'SUPER', '⌘': 'SUPER',
'⌥': 'ALT', 'OPTION': 'ALT', 'KITTY_MOD': 'KITTY'} '⌥': 'ALT', 'OPTION': 'ALT', 'OPT': 'ALT', 'KITTY_MOD': 'KITTY'}
character_key_name_aliases_with_ascii_lowercase: Dict[str, str] = character_key_name_aliases.copy() character_key_name_aliases_with_ascii_lowercase: Dict[str, str] = character_key_name_aliases.copy()
for x in 'ABCDEFGHIJKLMNOPQRSTUVWXYZ': for x in 'ABCDEFGHIJKLMNOPQRSTUVWXYZ':
character_key_name_aliases_with_ascii_lowercase[x] = x.lower() character_key_name_aliases_with_ascii_lowercase[x] = x.lower()