Thierry Volpiatto
d9dd884c7c
Allow configuring which event throw-on-input should ignore (bug#19547).
...
* src/keyboard.c (kbd_buffer_store_buffered_event):
Translate event to corresponding symbol from `while-no-input-ignore-events`
and check them with Fmemq.
(syms_of_keyboard): Declare new lisp variable `while-no-input-ignore-events`
and its symbols.
* lisp/subr.el (while-no-input-ignore-events): Add default values.
* doc/lispref/commands.texi (Event Input Misc):
Document while-no-input-ignore-events.
* etc/NEWS: Same.
2016-11-27 21:48:07 +01:00
..
2016-08-23 22:38:48 +09:00
2016-11-23 18:09:34 +01:00
2016-11-19 14:31:05 -08:00
2016-11-26 12:03:25 +09:00
2016-11-15 13:35:07 -05:00
2016-11-04 15:02:03 -07:00
2016-11-20 16:29:47 +01:00
2016-11-21 06:40:01 +00:00
2016-11-19 14:31:05 -08:00
2016-11-04 15:02:03 -07:00
2016-11-25 12:41:20 +02:00
2016-11-19 14:31:05 -08:00
2016-11-04 15:02:03 -07:00
2016-11-22 10:16:54 +01:00
2016-11-17 22:50:40 -08:00
2016-11-17 22:50:40 -08:00
2016-11-20 16:29:47 +01:00
2016-06-10 00:23:33 -04:00
2016-11-26 09:30:59 +02:00
2016-11-19 14:31:05 -08:00
2016-11-26 11:11:28 +01:00
2016-11-17 00:39:43 +09:00
2016-11-23 18:05:35 -08:00
2016-09-26 13:39:17 -07:00
2016-05-01 19:27:09 +02:00
2016-11-17 22:50:40 -08:00
2016-05-01 18:53:31 -07:00
2016-11-06 00:42:03 -07:00
2016-11-19 14:31:05 -08:00
2016-04-19 11:05:55 +02:00
2016-11-19 14:31:05 -08:00
2016-05-01 19:42:35 +02:00
2016-04-25 11:28:17 +03:00
2016-11-22 15:23:50 +09:00
2016-11-22 15:51:57 +09:00
2016-08-21 04:15:44 -07:00
2016-08-30 20:54:42 -07:00
2016-05-17 23:55:38 +03:00
2016-11-07 19:09:19 +02:00
2016-11-22 13:49:17 +01:00
2016-11-25 12:24:22 +02:00
2016-10-08 16:37:42 +03:00
2016-11-17 22:50:40 -08:00
2016-10-16 22:51:51 -07:00
2016-11-07 19:34:51 +02:00
2016-10-08 16:37:42 +03:00
2016-05-01 19:27:10 +02:00
2016-06-27 19:13:48 +03:00
2016-10-15 23:14:48 -04:00
2016-11-12 21:54:45 -05:00
2016-10-03 20:02:54 +09:00
2016-11-17 00:39:43 +09:00
2016-09-28 13:08:12 -04:00
2016-11-22 15:23:50 +09:00
2016-06-09 20:13:12 -04:00
2016-10-27 08:11:25 -07:00
2016-10-21 13:06:03 -07:00
2016-08-19 11:20:30 +02:00
2016-06-09 17:56:29 +09:00
2016-11-19 14:31:05 -08:00
2016-10-21 13:06:03 -07:00
2016-11-14 13:56:58 +01:00
2016-11-24 20:34:42 +00:00
2016-05-01 19:27:08 +02:00
2016-04-29 14:58:21 +00:00
2016-05-01 19:27:10 +02:00
2016-05-01 19:27:11 +02:00
2016-10-10 07:35:31 -07:00
2016-08-21 11:36:11 +02:00
2016-06-15 10:18:50 -04:00
2016-10-23 02:50:48 -07:00
2016-09-23 16:36:24 +03:00
2016-05-13 07:45:30 -07:00
2016-10-31 20:31:22 -04:00
2016-07-18 02:17:06 +03:00
2016-05-01 19:27:09 +02:00
2016-06-26 10:54:29 +09:00
2016-05-26 11:30:29 +02:00
2016-11-21 23:05:47 -05:00
2016-11-19 20:48:17 +09:00
2016-07-22 18:01:43 +09:00
2016-11-22 11:09:15 -05:00
2016-04-28 19:31:43 +02:00
2016-11-17 12:38:58 +01:00
2016-07-18 02:17:06 +03:00
2016-09-13 04:28:42 +09:00
2016-07-25 23:40:35 +02:00
2016-11-17 00:39:43 +09:00
2016-05-01 19:27:16 +02:00
2016-11-18 11:02:55 +02:00
2016-04-16 14:20:34 +03:00
2016-09-28 13:08:12 -04:00
2016-10-25 12:50:31 -07:00
2016-11-25 12:29:44 +02:00
2016-05-08 02:09:36 +03:00
2016-11-05 11:42:15 +02:00
2016-10-21 13:06:03 -07:00
2016-08-10 00:42:40 -04:00
2016-04-29 15:23:38 +02:00
2016-11-01 06:18:02 -04:00
2016-06-01 13:26:30 -07:00
2016-10-08 16:37:42 +03:00
2016-11-19 14:31:05 -08:00
2016-11-19 14:31:05 -08:00
2016-11-19 14:31:05 -08:00
2016-10-15 23:27:46 -04:00
2016-10-23 02:43:17 -07:00
2016-10-22 13:07:32 +02:00
2016-11-17 00:39:43 +09:00
2016-05-01 19:27:12 +02:00
2016-11-19 14:31:05 -08:00
2016-06-23 17:13:11 -04:00
2016-06-10 00:23:33 -04:00
2016-11-19 14:31:05 -08:00
2016-08-05 14:10:30 -07:00
2016-09-28 13:08:12 -04:00
2016-10-08 16:37:42 +03:00
2016-08-13 23:32:36 -05:00
2016-10-19 12:37:50 +01:00
2016-11-17 18:27:38 -05:00
2016-11-25 12:24:22 +02:00
2016-11-25 21:08:32 +01:00
2016-07-06 06:05:15 +03:00
2016-09-12 21:25:09 +03:00
2016-08-10 10:13:27 +02:00
2016-11-20 16:29:47 +01:00
2016-11-19 14:31:05 -08:00
2016-09-28 13:08:12 -04:00
2016-10-16 22:51:51 -07:00
2016-11-27 21:48:07 +01:00
2016-06-27 22:25:10 +02:00
2016-11-19 14:31:05 -08:00
2016-11-03 20:33:19 +09:00
2016-10-13 14:41:46 -04:00
2016-04-19 18:06:52 +03:00
2016-09-02 11:44:13 -04:00
2016-06-01 13:26:30 -07:00
2016-10-08 16:37:42 +03:00
2016-11-17 22:50:40 -08:00
2016-11-17 00:39:43 +09:00
2016-11-03 12:16:56 +00:00
2016-06-23 17:13:11 -04:00
2016-11-17 22:50:40 -08:00
2016-11-17 00:39:43 +09:00
2016-05-01 19:27:09 +02:00
2016-10-13 14:37:10 -04:00
2016-09-28 13:08:12 -04:00
2016-09-28 13:08:12 -04:00
2016-10-25 23:07:13 -07:00