diff options
| author | lesleyrs | 2022-11-29 22:31:18 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2023-02-28 03:35:52 +0000 |
| commit | 8dab8a0a039fe1f3dd98fc62ac97d2f1c089793a (patch) | |
| tree | 0db57f8995015c0b1ddda3ad10b037742ea1e5cb /runtime/queries/lean/injections.scm | |
| parent | a066815833b322233dc11aeae38679bc8466ec56 (diff) | |
Add shift-backspace keybind alias for backspace (#4937)
When the Kitty Keyboard Protocol is enabled, S-backspace is
distinguished from backspace with no modifiers. This is awkward when
typing because it's very easy to accidentally hold shift and press
backspace temporarily when typing capital letters.
Kakoune (which is also a Kitty Keyboard Protocol application) treats
S-backspace as backspace too:
https://github.com/mawww/kakoune/blob/3150e9b3cd8e61d9bc68245d67822614d4376cf4/src/input_handler.cc#L1275
Diffstat (limited to 'runtime/queries/lean/injections.scm')
0 files changed, 0 insertions, 0 deletions