Stefan Kangas
2fba71cf1f
Fix handling double-click-time nil or t
...
* lisp/mouse.el (mouse-double-click-time): New function to always
return a number for `double-click-time'.
* lisp/emulation/viper-mous.el (viper-multiclick-timeout):
* lisp/foldout.el (foldout-mouse-swallow-events):
* lisp/help.el (help--read-key-sequence):
* lisp/org/org-mouse.el (org-mouse-show-context-menu): Use
'mouse-double-click-time' instead of 'double-click-time'.
* src/keyboard.c (syms_of_keyboard): Mention
'mouse-double-click-time' in doc string of 'double-click-time'.
* test/lisp/mouse-tests.el (mouse-test-mouse-double-click-time):
New test.
2022-05-02 12:03:08 +02:00
..
2022-04-22 16:17:22 +02:00
2022-04-13 15:31:34 +02:00
2022-04-22 16:17:22 +02:00
2021-05-10 13:33:32 +02:00
2021-12-01 23:27:19 +01:00
2022-04-26 17:36:13 -04:00
2022-01-01 07:03:03 -05:00
2022-03-19 02:35:42 -07:00
2022-05-01 20:41:23 +02:00
2022-01-01 02:45:51 -05:00
2022-04-23 18:14:26 +02:00
2022-01-25 09:38:50 -08:00
2022-01-01 07:03:03 -05:00
2022-04-11 16:29:24 +02:00
2022-01-31 11:07:26 -05:00
2022-04-14 19:09:52 -07:00
2022-04-22 16:17:22 +02:00
2022-04-27 20:15:07 +02:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-04-30 13:38:18 +02:00
2022-01-14 10:06:21 +01:00
2022-01-01 02:45:51 -05:00
2022-04-22 14:35:30 +02:00
2022-01-01 02:45:51 -05:00
2022-01-18 16:42:19 -05:00
2022-02-14 12:00:22 +01:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-02-06 23:54:07 +01:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-10 20:52:20 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-03-22 15:28:02 +01:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-02-20 19:17:49 +01:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-03-24 09:23:31 +01:00
2022-01-01 07:03:03 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-04-04 09:55:03 -04:00
2022-02-04 14:18:35 +01:00
2022-01-09 11:12:06 +01:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-01-14 12:10:46 +01:00
2022-01-01 07:03:03 -05:00
2022-04-23 18:37:27 +02:00
2022-03-18 12:25:32 +01:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-02-08 08:15:08 +01:00
2022-01-01 02:45:51 -05:00
2022-01-31 17:32:26 +01:00
2022-01-01 02:45:51 -05:00
2022-01-20 14:53:12 +01:00
2022-03-23 20:25:33 +08:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:07:15 -05:00
2022-01-01 02:45:51 -05:00
2022-05-01 01:19:51 +03:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:07:15 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-04-01 20:07:33 -04:00
2022-01-31 11:07:26 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-05-02 12:03:08 +02:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-04-29 20:40:15 +03:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-04-10 00:26:33 +02:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-05-02 09:56:58 +02:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 07:03:03 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-01-01 02:45:51 -05:00
2022-04-22 16:17:22 +02:00
2022-01-01 02:45:51 -05:00
2022-02-05 08:50:05 +01:00