unofficial mirror of bug-gnu-emacs@gnu.org 
 help / color / mirror / code / Atom feed
* bug#66539: 30.0.50; eldoc-echo-area-prefer-doc-buffer missing choice
@ 2023-10-14 13:32 Mauro Aranda
  2023-10-14 13:36 ` Mauro Aranda
  0 siblings, 1 reply; 3+ messages in thread
From: Mauro Aranda @ 2023-10-14 13:32 UTC (permalink / raw)
  To: 66539

The docstring for eldoc-echo-area-prefer-doc-buffer says its value can
be the symbol maybe, but its :type is just boolean.






^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2023-10-14 19:02 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-10-14 13:32 bug#66539: 30.0.50; eldoc-echo-area-prefer-doc-buffer missing choice Mauro Aranda
2023-10-14 13:36 ` Mauro Aranda
2023-10-14 19:02   ` Stefan Kangas

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).