Benno Schulenberg
f813fd0f4d
rcfile: allow binding also F17...F24
...
For historical reasons the rebinding code allows binding F13...F16,
which on most terminals are typable with Shift plus F1...F4. But,
at least on an Xfce Terminal, Shift plus F1...F12 produce F13...F24.
On a Linux console, Shift plus F1...F8 produce F13...F20. So: allow
to bind the full shifted F13...F24 range. It costs no extra code
and makes things more rounded.
2019-10-07 16:23:40 +02:00
..
2019-08-17 17:01:19 +02:00
2018-12-16 14:41:31 +01:00
2019-08-17 17:01:19 +02:00
2019-10-06 12:01:02 +02:00
2018-11-03 21:12:44 +01:00
2019-08-17 17:01:19 +02:00
2018-02-14 17:36:50 +01:00
2018-05-18 20:40:08 +02:00
2019-08-14 09:18:51 +02:00
2018-11-03 21:12:44 +01:00
2019-08-17 17:01:19 +02:00
2018-11-03 21:12:44 +01:00
2018-08-09 21:12:10 +02:00
2018-11-03 21:12:44 +01:00
2018-11-03 21:12:44 +01:00
2018-02-14 17:36:50 +01:00
2018-02-14 17:36:50 +01:00
2018-02-14 17:36:50 +01:00
2018-11-03 21:12:44 +01:00
2019-08-17 17:01:19 +02:00
2017-04-25 17:21:46 +02:00
2018-05-30 11:29:08 +02:00
2019-03-31 12:42:53 +02:00
2019-08-17 17:01:19 +02:00
2018-02-14 17:36:50 +01:00
2018-11-07 19:30:04 +01:00
2019-10-07 16:23:40 +02:00
2018-11-03 21:12:44 +01:00
2018-11-03 20:41:42 +01:00
2018-02-14 17:36:50 +01:00
2018-02-14 17:36:50 +01:00
2019-08-19 17:15:29 +02:00
2019-08-08 12:02:07 +02:00
2019-07-29 19:12:58 +02:00
2018-11-03 21:32:07 +01:00
2018-02-14 17:36:50 +01:00
2019-08-17 17:01:19 +02:00
2019-08-17 17:01:19 +02:00
2019-09-29 15:11:15 +02:00
2018-11-03 21:12:44 +01:00
2018-11-03 21:12:44 +01:00
2018-12-17 16:00:54 +01:00
2019-08-17 17:01:19 +02:00
2018-11-03 21:12:44 +01:00
2018-02-14 17:36:50 +01:00