João Távora 83b5e9cd24
Eldoc: don't overdisplay if using eldoc-documentation-compose ...
bug#62816
This is about a particular value for 'eldoc-documentation-strategy',
'eldoc-documentation-compose'. Its helper
'eldoc--documentation-compose-1' was buggy. It created the callback
for all the backends in 'eldoc-documentation-functions', but arranged
so that it could potentially be invoked immediately and trigger
display, half-defeating the purpose of the "patience" and causing
blinking in the echo area.
Now it creates all the callbacks beforehand and only then passes them
to the corresponding members of eldoc-documentation-functions. This
sets up the correct state in eldoc--invoke-strategy.
* lisp/emacs-lisp/eldoc.el (eldoc--documentation-compose-1):
Delete.
(eldoc-documentation-compose)
(eldoc-documentation-compose-eagerly): Rework.
2023-04-13 17:42:37 +01:00
2023-02-27 12:29:35 +01:00
2023-02-25 11:05:54 +01:00
2023-04-07 19:08:33 +02:00
2023-04-13 17:42:37 +01:00
2023-04-07 19:08:33 +02:00
2023-04-10 13:42:29 -07:00
2023-04-10 21:00:17 -07:00
2023-04-12 08:19:17 +08:00
2023-03-09 12:01:38 +02:00
2023-04-06 14:38:20 -04:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-04-07 19:08:33 +02:00
2023-04-07 19:08:33 +02:00
2023-04-09 16:45:40 +02:00
2023-03-18 16:05:31 +01:00
2023-01-01 05:31:12 -05:00
2023-04-10 21:33:56 -04:00
2023-01-01 05:31:12 -05:00
2023-04-13 17:42:37 +01:00
2023-01-01 05:31:12 -05:00
2023-04-11 00:24:33 +03:00
2023-04-10 15:20:27 +02:00
2023-01-17 06:30:08 +01:00
2023-03-01 06:30:20 +01:00
2023-03-20 06:30:32 +01:00
2023-01-07 18:44:16 -08:00
2023-01-01 05:31:12 -05:00
2023-04-11 11:50:17 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-14 09:26:17 -05:00
2023-03-11 14:54:22 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-02-03 06:30:24 +01:00
2023-01-01 05:31:12 -05:00
2023-02-22 12:55:45 +01:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-10 17:23:57 +01:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-02-13 15:51:48 +01:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:47:47 -05:00
2023-01-01 05:31:12 -05:00
2023-01-23 09:17:15 +01:00
2023-02-28 04:08:55 +02:00
2023-04-03 00:33:03 +01:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:47:47 -05:00
2023-01-01 05:47:47 -05:00
2023-01-01 05:31:12 -05:00
2023-02-24 06:30:11 +01:00
2023-01-06 10:49:02 -08:00
2023-04-10 11:45:09 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-02-22 15:16:25 +02:00
2023-02-03 18:03:18 +01:00
2023-02-21 16:55:21 +01:00
2023-03-09 12:04:52 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-02-21 10:31:41 +01:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-04-07 12:57:59 +01:00
2023-01-01 05:47:47 -05:00
2023-01-01 05:31:12 -05:00
2023-02-17 16:20:45 +01:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-13 20:37:53 +03:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-02-18 09:37:34 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-13 18:02:36 +01:00
2023-04-04 09:43:09 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-18 08:32:20 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-02-28 04:08:55 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-19 14:51:27 -04:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-27 17:16:58 -04:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-29 14:56:20 +03:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-02-18 10:58:00 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-16 09:41:56 +02:00
2023-04-08 11:51:43 +01:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-22 12:14:43 -07:00
2023-02-15 16:24:19 +01:00
2023-01-01 05:31:12 -05:00
2023-02-08 20:56:48 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:47:47 -05:00
2023-04-06 14:38:20 -04:00
2023-04-07 19:08:33 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-02-05 18:52:59 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-14 19:36:47 +00:00
2023-01-01 05:31:12 -05:00
2023-03-20 09:47:32 +01:00
2023-02-24 14:18:24 -05:00
2023-04-01 05:10:48 +02:00
2023-01-01 05:31:12 -05:00
2023-03-29 22:25:04 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-15 10:47:24 +02:00
2023-02-24 14:18:24 -05:00
2023-04-06 22:14:59 +03:00
2023-03-02 20:45:02 +08:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-04-06 14:38:13 -04:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:47:47 -05:00
2023-03-19 16:02:52 -04:00
2023-01-01 05:31:12 -05:00
2023-04-07 19:08:33 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-12 22:22:41 +02:00
2023-01-01 05:31:12 -05:00
2023-03-22 09:44:02 +02:00
2023-02-05 21:08:45 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-08 13:36:09 -08:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-02-23 14:09:36 -08:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-14 10:40:15 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-02-13 19:46:22 +02:00
2023-01-18 20:05:19 +02:00
2023-01-01 05:31:12 -05:00
2023-01-13 17:52:23 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-25 15:12:30 +03:00
2023-04-06 13:25:54 +03:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-14 09:04:14 +01:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-31 15:08:22 +02:00
2023-04-02 17:54:02 -04:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-04-07 19:08:33 +02:00
2023-01-15 12:06:54 +02:00
2023-01-01 05:31:12 -05:00
2023-02-18 10:45:46 +01:00
2023-04-07 19:08:33 +02:00
2023-04-13 14:26:16 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-02-03 06:30:24 +01:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-27 01:19:19 +13:00
2023-03-10 11:22:54 +01:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-02-18 09:36:18 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-26 23:53:03 +02:00
2023-01-01 05:31:12 -05:00
2023-04-12 00:02:21 -07:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-04-04 09:43:09 +02:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-02-24 16:43:35 +01:00
2023-01-01 05:47:47 -05:00
2023-01-01 05:31:12 -05:00
2023-01-06 10:06:25 +01:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-03-29 06:30:09 +02:00
2023-01-01 05:31:12 -05:00
2023-02-22 12:55:45 +01:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-01 05:31:12 -05:00
2023-01-26 10:54:43 +02:00
2023-03-02 12:53:35 +02:00
2023-01-01 05:31:12 -05:00
83b5e9cd24