Fabian Homborg
93d40f9143
[input] Only timeout if the last character was escape
...
There really is no need to
- Timeout just because the _first_ character was a control character
- Timeout because of any control character other than escape
The reason to timeout because the '\e' sequence can appear by itself (signifying
pressing the escape key) and still make
sense - e.g. vi-mode has it bound to a rather important function!
But a \c can't appear by itself, so we can just block.
This allows binding sequences like \cx\ce and inputting them at a
leisurely pace rather than the frantic escape_timeout one.
It should also improve sequences that _include_ escape somewhere else.
E.g. something like a\eb ("a, then alt+b") should now time out for the "\eb" part,
allowing users to bind a\e ("a, then escape") to something else. Why you'd want to do
that, I have no idea. But it's more consistent, and that's nice!
2018-05-29 18:40:29 +02:00
..
2018-02-25 23:12:37 -08:00
2018-02-18 19:12:45 -08:00
2018-02-18 19:12:45 -08:00
2017-08-30 00:59:45 -07:00
2017-07-12 22:38:24 -07:00
2017-06-16 21:01:57 -07:00
2017-06-16 21:01:56 -07:00
2017-10-03 11:20:17 +02:00
2017-10-03 11:20:17 +02:00
2017-07-01 14:03:47 -07:00
2017-06-16 21:01:56 -07:00
2017-07-01 14:03:47 -07:00
2017-06-16 21:01:56 -07:00
2018-01-30 12:36:50 -08:00
2017-06-16 21:01:56 -07:00
2017-07-01 14:03:47 -07:00
2017-06-16 21:01:56 -07:00
2018-05-05 21:41:03 +02:00
2016-04-26 21:58:59 -07:00
2017-08-18 16:52:39 -07:00
2017-02-14 18:48:27 -08:00
2017-07-01 14:03:47 -07:00
2017-06-16 21:01:56 -07:00
2017-06-16 21:01:57 -07:00
2017-06-16 21:01:56 -07:00
2017-07-09 19:55:04 -07:00
2017-06-16 21:01:56 -07:00
2017-06-16 21:01:57 -07:00
2017-06-16 21:01:56 -07:00
2017-07-01 14:03:47 -07:00
2017-06-16 21:01:56 -07:00
2018-03-24 11:58:19 -05:00
2017-06-16 21:01:56 -07:00
2018-05-08 11:17:07 +02:00
2018-02-12 10:49:22 -08:00
2018-03-10 02:27:25 -08:00
2017-06-16 21:01:56 -07:00
2018-04-14 21:59:18 -07:00
2017-06-16 21:01:56 -07:00
2018-04-14 16:47:05 -05:00
2017-02-14 18:48:27 -08:00
2018-03-07 18:13:26 +01:00
2017-08-23 14:43:45 -07:00
2017-10-03 04:17:56 +03:00
2017-02-14 18:48:27 -08:00
2017-06-16 21:01:57 -07:00
2017-06-16 21:01:56 -07:00
2017-06-16 21:01:57 -07:00
2017-06-16 21:01:56 -07:00
2018-04-17 21:34:22 -05:00
2017-06-16 21:01:56 -07:00
2017-10-11 00:08:26 -07:00
2017-06-16 21:01:56 -07:00
2017-07-01 14:03:47 -07:00
2017-06-16 21:01:56 -07:00
2018-02-04 03:11:22 -06:00
2017-02-14 18:48:27 -08:00
2018-04-10 21:09:31 +08:00
2017-02-14 18:48:27 -08:00
2017-06-16 21:01:57 -07:00
2017-06-16 21:01:56 -07:00
2018-05-06 11:20:15 -07:00
2017-06-16 21:01:56 -07:00
2018-05-28 12:10:40 +02:00
2017-02-14 18:48:27 -08:00
2018-02-18 19:12:45 -08:00
2016-04-26 21:58:59 -07:00
2017-07-01 14:03:47 -07:00
2017-02-14 18:48:27 -08:00
2018-05-11 11:11:53 -05:00
2017-11-16 10:48:21 -08:00
2018-04-03 15:47:21 -05:00
2018-04-03 15:47:21 -05:00
2018-02-18 19:12:45 -08:00
2017-02-14 18:48:27 -08:00
2018-05-28 12:10:40 +02:00
2018-05-12 11:23:43 -05:00
2018-05-27 15:46:30 -07:00
2018-05-12 11:23:43 -05:00
2018-04-01 17:59:42 -07:00
2018-04-01 17:43:12 -07:00
2018-05-27 15:45:30 -07:00
2018-03-31 22:12:52 -05:00
2018-03-10 02:27:25 -08:00
2018-03-10 02:27:25 -08:00
2018-05-16 19:34:56 -05:00
2017-08-03 17:40:25 -07:00
2018-05-06 11:20:15 -07:00
2018-03-11 22:02:43 -05:00
2018-03-31 17:06:13 -07:00
2018-02-25 23:38:10 -08:00
2018-05-07 21:40:53 -07:00
2018-02-10 17:21:55 -08:00
2018-05-06 11:20:15 -07:00
2018-01-08 22:28:10 -08:00
2018-01-08 22:28:10 -08:00
2018-05-06 11:20:14 -07:00
2018-03-15 18:19:08 -05:00
2018-03-15 18:19:08 -05:00
2018-05-06 11:20:15 -07:00
2018-05-06 11:20:15 -07:00
2018-05-06 11:20:15 -07:00
2017-02-14 18:48:27 -08:00
2018-03-05 12:20:56 -08:00
2018-02-18 19:12:45 -08:00
2018-02-18 19:12:45 -08:00
2018-01-30 09:58:08 -08:00
2018-05-29 18:40:29 +02:00
2017-06-16 21:01:56 -07:00
2017-08-18 23:09:31 -05:00
2016-05-01 20:28:46 -07:00
2018-02-18 19:12:45 -08:00
2018-02-18 19:12:45 -08:00
2018-02-18 19:12:45 -08:00
2017-02-11 21:30:38 -08:00
2016-05-29 22:24:29 -07:00
2016-05-01 22:18:59 -07:00
2017-08-19 18:27:24 -05:00
2018-04-01 16:10:59 -07:00
2018-02-18 19:12:45 -08:00
2017-08-18 16:24:30 -07:00
2018-03-31 13:04:30 +02:00
2017-02-14 18:48:27 -08:00
2018-03-24 11:54:27 -05:00
2018-03-31 14:57:24 -07:00
2018-03-31 14:57:24 -07:00
2018-03-05 13:41:36 -08:00
2018-03-05 14:04:49 -08:00
2018-03-31 17:06:13 -07:00
2017-05-01 22:05:35 -07:00
2018-05-07 21:39:30 -07:00
2018-05-07 21:39:30 -07:00
2018-05-06 11:20:15 -07:00
2018-02-17 15:18:43 -08:00
2018-02-25 21:29:24 +01:00
2016-06-23 17:26:08 -07:00
2018-02-18 19:12:45 -08:00
2018-02-18 20:29:28 -08:00
2017-09-24 13:43:50 -05:00
2017-08-06 13:24:34 -07:00
2018-03-04 20:17:26 -06:00
2018-02-14 19:08:12 -06:00
2016-10-22 19:09:40 -07:00
2016-05-02 22:07:58 -07:00
2018-03-09 14:40:35 -06:00
2018-02-18 19:12:45 -08:00
2018-05-27 11:37:36 -07:00
2018-02-10 17:21:55 -08:00
2018-02-10 17:21:55 -08:00
2017-01-24 15:24:13 -08:00
2018-05-08 13:07:47 +02:00
2018-02-04 16:20:55 -08:00
2017-08-26 19:13:58 -05:00
2017-08-06 14:46:12 -07:00
2018-03-01 13:09:35 +01:00
2018-03-01 13:09:35 +01:00
2018-03-05 13:41:36 -08:00
2018-03-05 13:41:36 -08:00
2018-05-07 21:39:30 -07:00
2018-05-07 21:39:30 -07:00
2017-02-14 18:48:27 -08:00
2017-02-14 18:48:27 -08:00
2017-06-17 22:51:25 -07:00
2016-05-03 16:09:45 -07:00
2018-04-17 21:34:22 -05:00
2018-04-17 21:34:22 -05:00
2017-06-17 17:09:01 -07:00
2017-12-12 22:45:17 -08:00
2018-05-06 11:20:15 -07:00
2018-05-06 11:20:15 -07:00
2017-10-11 00:08:26 -07:00
2017-10-11 00:08:26 -07:00