diff --git a/kitty/options/utils.py b/kitty/options/utils.py index 01fbecc2d..e8344b726 100644 --- a/kitty/options/utils.py +++ b/kitty/options/utils.py @@ -34,7 +34,7 @@ SequenceMap = Dict[SingleKey, SubSequenceMap] MINIMUM_FONT_SIZE = 4 default_tab_separator = ' ┇' 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() for x in 'ABCDEFGHIJKLMNOPQRSTUVWXYZ': character_key_name_aliases_with_ascii_lowercase[x] = x.lower()