[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#60587: Patch for adding links to symbols' help documentation
From: |
Stefan Monnier |
Subject: |
bug#60587: Patch for adding links to symbols' help documentation |
Date: |
Fri, 27 Jan 2023 17:12:58 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
>> 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
- bug#60587: Patch for adding links to symbols' help documentation, (continued)
- bug#60587: Patch for adding links to symbols' help documentation, H. Dieter Wilhelm, 2023/01/25
- bug#60587: Patch for adding links to symbols' help documentation, Drew Adams, 2023/01/25
- bug#60587: Patch for adding links to symbols' help documentation, Ihor Radchenko, 2023/01/26
- bug#60587: Patch for adding links to symbols' help documentation, Drew Adams, 2023/01/26
- bug#60587: Patch for adding links to symbols' help documentation, Ihor Radchenko, 2023/01/26
- bug#60587: Patch for adding links to symbols' help documentation, Drew Adams, 2023/01/26
- bug#60587: Patch for adding links to symbols' help documentation, H. Dieter Wilhelm, 2023/01/27
- bug#60587: Patch for adding links to symbols' help documentation,
Stefan Monnier <=
- bug#60587: Patch for adding links to symbols' help documentation, Drew Adams, 2023/01/27
- bug#60587: Patch for adding links to symbols' help documentation, Drew Adams, 2023/01/27
- bug#60587: Patch for adding links to symbols' help documentation, Eli Zaretskii, 2023/01/28
- bug#60587: Patch for adding links to symbols' help documentation, Drew Adams, 2023/01/28
- bug#60587: Patch for adding links to symbols' help documentation, Eli Zaretskii, 2023/01/26
- bug#60587: Patch for adding links to symbols' help documentation, Juri Linkov, 2023/01/27
- bug#60587: Patch for adding links to symbols' help documentation, Eli Zaretskii, 2023/01/27
- bug#60587: Patch for adding links to symbols' help documentation, H. Dieter Wilhelm, 2023/01/27
- bug#60587: Patch for adding links to symbols' help documentation, Eli Zaretskii, 2023/01/28