[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: |
Wed, 01 Mar 2023 22:45:06 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Tags: patch
Stefan Monnier <monnier@iro.umontreal.ca> writes:
>> 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.
>
> No it's perfectly normal to have a global preference that only affects
> the buffers for which it's relevant. I like my food to be spicy and
> that's just as true when I eat as when I don't but it has consequences
> only when I do.
>
Alright :-)
I've adjusted the code and documentation accordingly and created another
patch.
Thank you for your support.
Dieter
0001-Info-providing-buttons-on-quoted-symbols-bug-60587.patch
Description: Text Data
--
Best wishes
H. Dieter Wilhelm
Zwingenberg, Germany
- bug#60587: Patch for adding links to symbols' help documentation,
H. Dieter Wilhelm <=