[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#58892: 29.0.50; [PATCH] eglot-manual: Open the local info documentat
From: |
Eli Zaretskii |
Subject: |
bug#58892: 29.0.50; [PATCH] eglot-manual: Open the local info documentation |
Date: |
Sun, 30 Oct 2022 14:53:07 +0200 |
> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: Felician Nemeth <felician.nemeth@gmail.com>, Lars Ingebrigtsen
> <larsi@gnus.org>, 58892@debbugs.gnu.org
> Date: Sun, 30 Oct 2022 08:42:32 -0400
>
> I don't think it makes much sense to add this specifically for
> Eglot, indeed. It might make sense OTOH to add to the Help menu an
> entry that lets you jump directly to the docs relevant to the current
> modes.
Sure, I'm okay with providing a general feature like that. Sounds
useful. It could also be a variant of "C-h m", perhaps when that is
invoked with a prefix argument (so that the feature could be reachable
without a mouse).