mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-28 11:11:47 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add a aliases for the | key

Browse Source
This commit is contained in:
Kovid Goyal
2023-06-28 19:49:05 +05:30
parent 6b3b62c933
commit e81a40255b
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
kitty/key_names.py
View File

@@ -31,6 +31,8 @@ character_key_name_aliases: Dict[str, str] = {
'MULTIPLY': '*', 'MULTIPLY': '*',
'PLUS': '+', 'PLUS': '+',
'MINUS': '-', 'MINUS': '-',
'BAR': '|',
'PIPE': '|',
'HYPHEN': '-', 'HYPHEN': '-',
'EQUAL': '=', 'EQUAL': '=',
'UNDERSCORE': '_', 'UNDERSCORE': '_',