[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#60587: Patch for adding links to symbols' help documentation
From: |
Eli Zaretskii |
Subject: |
bug#60587: Patch for adding links to symbols' help documentation |
Date: |
Fri, 27 Jan 2023 10:11:59 +0200 |
> From: Juri Linkov <juri@linkov.net>
> Cc: "H. Dieter Wilhelm" <dieter@duenenhof-wilhelm.de>,
> monnier@iro.umontreal.ca, 60587@debbugs.gnu.org
> Date: Fri, 27 Jan 2023 09:45:17 +0200
>
> >> > So I guess you will be submitting a new patch soon?
> >>
> >> Below it is (based on a recent master commit).
> >>
> >> > I think the first sentence should be rewritten as describing a
> >> > separate feature, not "the same as" something else. Just say that
> >> > symbols are converted into buttons that lead to their doc strings.
> >> >
> >> > Also, the option which controls this should be mentioned and indexed.
> >>
> >> Please have a look at a further documentation patch.
> >
> > Thanks.
> >
> > Juri, any comments?
>
> I think this is a nice feature, but it should be implemented
> in a separate file. The file info.el contains the features
> that are used in all Info manuals. OTOH, the proposed feature
> can be used only for a small part of all manuals, namely
> only for manuals that describe Emacs core and packages.
It was originally on a separate file, but I thought, and still think,
that it should be in info.el. I don't see any significance in the
fact that this will be used for manuals that come with Emacs, as those
are quite numerous. E.g., on my system, Emacs manuals are about 1/4th
of all the installed manuals, and I have a lot of Info manuals other
than Emacs and no Info manuals that come with ELPA packages.
- 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/27
- bug#60587: Patch for adding links to symbols' help documentation, Stefan Monnier, 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, Drew Adams, 2023/01/27
- 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 <=
- 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