[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: |
Tue, 21 Feb 2023 00:53:27 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Stefan Monnier <monnier@iro.umontreal.ca> writes:
>
> If I were you, I'd just use a single global minor mode that affects all
> Info-mode buffers (and only Info-mode buffers). It should be rather rare
> for a user to want to enable this in some buffers but not all.
I took a step back and refocusing on Info and only Info. When rewriting
the mode as global minor mode, it's working, easily, for my tests.
The only thing, which feels strange to me, is that
'info-links-to-help-mode' is now a minor mode for all buffers (and
modes). Sure, it's only affecting 'Info-mode' but isn't there a way of
making it a "global" minor mode only for Info buffers? Anyway, I
couldn't find a way to restrict global minor modes to certain major
modes.
Do you think the usage of 'define-globalized-minor-mode' is an
alternative for a global minor mode? As far as I understand, it is
possible to have a global toggle for local minor modes which
automatically enables them for all buffers (optionally, of certain major
modes).
--
Thanks
Dieter
Best wishes
H. Dieter Wilhelm
Zwingenberg, Germany
- 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/02/01
- bug#60587: Patch for adding links to symbols' help documentation, H. Dieter Wilhelm, 2023/02/04
- bug#60587: Patch for adding links to symbols' help documentation, Stefan Monnier, 2023/02/04
- bug#60587: Patch for adding links to symbols' help documentation, H. Dieter Wilhelm, 2023/02/12
- bug#60587: Patch for adding links to symbols' help documentation, Stefan Monnier, 2023/02/14
- bug#60587: Patch for adding links to symbols' help documentation, H. Dieter Wilhelm, 2023/02/15
- bug#60587: Patch for adding links to symbols' help documentation, Stefan Monnier, 2023/02/15
- bug#60587: Patch for adding links to symbols' help documentation,
H. Dieter Wilhelm <=
- bug#60587: Patch for adding links to symbols' help documentation, Stefan Monnier, 2023/02/20
- bug#60587: Patch for adding links to symbols' help documentation, Richard Stallman, 2023/02/15
- bug#60587: Patch for adding links to symbols' help documentation, Gregory Heytings, 2023/02/15
- bug#60587: Patch for adding links to symbols' help documentation, Gregory Heytings, 2023/02/15