Kovid Goyal
382c31ddf2
Use a stub rather than TYPE_CHECKING
2020-03-15 13:27:40 +05:30
Kovid Goyal
d3f37eeba4
more typing work
2020-03-14 11:42:05 +05:30
Kovid Goyal
ce94a9b2df
More typing work
2020-03-11 09:35:59 +05:30
Kovid Goyal
27524bfc3d
Restore global key definitions so as not to break third party kittens that might use them
2020-03-03 15:06:10 +05:30
Kovid Goyal
8843ded1c9
Refactor key encoding
...
Cannot have key names in global namespace as not all key names are valid
python identifiers. So move them into a dict.
2020-03-03 14:54:30 +05:30
Luflosi
b2d428618c
Add circumflex (^) key
2019-12-22 18:41:07 +01:00
Kovid Goyal
41b0f8852f
Only update config_key_map with those entries in key_name_aliases that exist in ENCODING
2019-09-15 04:24:32 +05:30
Kovid Goyal
67f2ec2421
Merge branch 'keyboard_improvement' of https://github.com/Luflosi/kitty
2019-09-14 10:17:35 +05:30
Kovid Goyal
17fd749e8d
Add some aliases when parsing config files for common key name variations
2019-09-08 19:28:41 +05:30
Luflosi
f3be5b5e57
Regenerate automatically generated key_encoding.py and keys.h
2019-09-08 12:32:20 +02:00
Luflosi
e619eb9cbb
Add more keyboard keys
2019-09-08 12:32:19 +02:00
Luflosi
7c52dd2bd8
Fix update_encoding() not filtering GLFW_KEY_LAST_PRINTABLE
...
b3b830bb5f did not actually make `update_encoding()` filter `GLFW_KEY_LAST_PRINTABLE` because `name` contained the key name after applying `symbolic_name()`, which replaces underscores with spaces. Instead of replacing the underscore in `LAST_PRINTABLE` with a space, I moved the check above the call to `symbolic_name()`. This is more readable and future-proof in my opinion.
2019-09-08 12:32:18 +02:00
Luflosi
481047a446
Format kitty/key_encoding.py with yapf
2019-09-01 17:53:52 +02:00
Luflosi
b3b830bb5f
Make adding more printable keys slightly easier
...
When adding keys after `GLFW_KEY_UNDERSCORE`, one now needs to change a `#define` right below the last printable key instead of changing it elsewhere in the code.
This commit now also marks `GLFW_KEY_PLUS` and `GLFW_KEY_UNDERSCORE` as printable characters.
2019-09-01 11:24:14 +02:00
Luflosi
b68e3c85b9
Add missing MENU key to key_encoding.py
2019-08-30 12:37:23 +02:00
Luflosi
ef25d5bbd5
Fix update_encoding() not adding the last key
2019-08-30 12:36:37 +02:00
Kovid Goyal
a51239c6ae
Add support for the underscore key found in some keyboard layouts
...
Fixes #1639
2019-05-24 17:59:50 +05:30
Luflosi
a792c94ccf
Use python3 shebang for all python scripts
...
Fixes #1624 .
Use python3 shebang for all python scripts as python still defaults to python2 on many systems.
2019-05-20 14:44:24 +02:00
Kovid Goyal
a8ad4461a1
Create a kitten to demonstrate the kitty extended keyboard protocol
2019-01-20 14:38:19 +05:30
Kovid Goyal
3f2489b306
Linux: Handle keyboards with a "+" key
...
Adds a plus key to glfw so that it can be mapped as a shortcut. Fixes #1224
2018-12-13 09:56:30 +05:30
Kovid Goyal
de4384a420
tui: Use correct key names for enter and backspace keys
2018-05-24 15:23:34 +05:30
Kovid Goyal
a33ebce3c9
diff kitten: Add keybindings to scroll by a page
2018-05-24 15:17:03 +05:30
Kovid Goyal
4b259dd719
diff kitten: Make the keyboard shortcuts configurable
...
Fixes #563
2018-05-23 13:10:32 +05:30
Kovid Goyal
168bc58635
The kittens learn about mice
2018-02-07 12:40:04 +05:30
Kovid Goyal
35f1658f4a
Key and text handler for the kittens
2018-02-06 20:58:46 +05:30
Kovid Goyal
72125701f5
No need ot build the key map on every startup
2017-02-11 10:48:36 +05:30
Kovid Goyal
a66d2b0890
Ensure the extended keyboard protocol key encoding is stable
...
Also use base85 instead of base64 for keyname encoding to reduce average
length
2017-02-11 10:41:04 +05:30