[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#60587: Patch for adding links to symbols' help documentation
From: |
H. Dieter Wilhelm |
Subject: |
bug#60587: Patch for adding links to symbols' help documentation |
Date: |
Sun, 15 Jan 2023 13:48:57 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Could you please check the attached patch of info.el?
I'm a bit concerned about the "symbol link" face: I think it's helpful
that they're distinct from the info link face. On the other hand the
colour is then inconsistent to links as they appear in the help buffers.
The other concern is that the info documentation from freshly installed
packages (in the current Emacs session) are still excluded from the
linking process..
I'm looking forward to your assessments
0001-Provide-links-in-Info-from-symbols-to-their-help-doc.patch
Description: Text Data
--
Best wishes
H. Dieter Wilhelm
Zwingenberg, Germany
- bug#60587: 30.0.50; Info pages are lacking links from symbol names to the symbol's help documentation, H. Dieter Wilhelm, 2023/01/05
- bug#60587: Patch for adding links to symbols' help documentation, H. Dieter Wilhelm, 2023/01/17
- bug#60587: Patch for adding links to symbols' help documentation, Eli Zaretskii, 2023/01/18
- bug#60587: Patch for adding links to symbols' help documentation, H. Dieter Wilhelm, 2023/01/20
- bug#60587: Patch for adding links to symbols' help documentation, Drew Adams, 2023/01/20
- bug#60587: Patch for adding links to symbols' help documentation, Stefan Monnier, 2023/01/20
- bug#60587: Patch for adding links to symbols' help documentation, H. Dieter Wilhelm, 2023/01/22
- bug#60587: Patch for adding links to symbols' help documentation, Eli Zaretskii, 2023/01/21
- bug#60587: Patch for adding links to symbols' help documentation, H. Dieter Wilhelm, 2023/01/21
- bug#60587: Patch for adding links to symbols' help documentation, Eli Zaretskii, 2023/01/22
- bug#60587: Patch for adding links to symbols' help documentation, Drew Adams, 2023/01/22