Fabian Boehm 9c40f72643 Add feature flag for turning off keyboard protocols
To work around terminal bugs.

The flag "keyboard-protocols" defaults to "on" and enables keyboard protocols,
but can be turned off by setting "no-keyboard-protocols".

This has downsides as a feature flag - if you use multiple terminals and
one of them can't do it you'll have to disable it in all,
but anything else would require us to hook this up to env-dispatch,
and ensure that we turn the protocols *off* when the flag is disabled.

Since this is a temporary inconvenience, this would be okay to ask
zellij and Jetbrains-with-WSL users.
2025-02-11 22:22:08 +01:00
..
2025-02-11 22:51:24 +08:00
2022-09-17 21:31:06 +08:00
2024-11-21 18:28:43 +01:00
2023-08-23 23:08:56 +02:00
2024-09-15 09:39:13 +02:00
2024-06-22 14:58:07 +02:00