GNU bug report logs - #60587
30.0.50; Info pages are lacking links from symbol names to the symbol's help documentation

Previous Next

Full log

View this message in rfc822 format

From: Stefan Monnier <monnier <at> iro.umontreal.ca>
To: "H. Dieter Wilhelm" <dieter <at> duenenhof-wilhelm.de>
Cc: Eli Zaretskii <eliz <at> gnu.org>, "60587 <at> debbugs.gnu.org" <60587 <at> debbugs.gnu.org>, Drew Adams <drew.adams <at> oracle.com>
Subject: bug#60587: Patch for adding links to symbols' help documentation
Date: Fri, 27 Jan 2023 17:12:58 -0500

>> 3. Maybe add a toggle command for the option, so users can switch the
>> behavior anytime, on the fly.
>
> Like this?
>
> ;; TODO: add this toggle in info documentation and NEWS
> ;; TODO: remove and create buttons in current info buffer
> (defun info-toggle-make-xrefs ()
>   "Toggle creating Info buttons."
>   (interactive)
>   (if (memq 'info-make-xrefs Info-selection-hook)
>       (remove-hook 'Info-selection-hook 'info-make-xrefs)
>     (add-hook 'Info-selection-hook 'info-make-xrefs)
>     (message "Create Info link buttons to symbol names.")))

Make it a minor mode, then.  It's no more coding and it offers more
functionality and a more regular/familiar behavior.


        Stefan

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.