GNU bug report logs - #58892
29.0.50; [PATCH] eglot-manual: Open the local info documentation

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Stefan Kangas <stefankangas <at> gmail.com>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#58892: closed (29.0.50; [PATCH] eglot-manual: Open the local
 info documentation)
Date: Fri, 11 Nov 2022 13:06:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Fri, 11 Nov 2022 05:05:28 -0800
with message-id <CADwFkm=v0bP3BU1AF4ZCUaKeyQcz2u_g9Hf5paWKqK4YawJNSQ <at> mail.gmail.com>
and subject line Re: bug#58892: 29.0.50; [PATCH] eglot-manual: Open the local info documentation
has caused the debbugs.gnu.org bug report #58892,
regarding 29.0.50; [PATCH] eglot-manual: Open the local info documentation
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
58892: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=58892
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Felician Nemeth <felician.nemeth <at> gmail.com>
To: bug-gnu-emacs <at> gnu.org
Subject: 29.0.50; [PATCH] eglot-manual: Open the local info documentation
Date: Sun, 30 Oct 2022 10:05:25 +0100

[Message part 3 (text/plain, inline)]

Eglot now has a beautiful documentation in info format.  This patch
let the user open it from Eglot's menu.

BTW, the menu is the mode-line and I think it cannot be accessed using
only the keyboard.  Would it make sense to put this menu in the "Tools"
part of the menu-bar as well?

Thanks.

[0001-eglot-manual-Open-the-local-info-documentation.patch (text/x-diff, attachment)]

[Message part 5 (message/rfc822, inline)]

From: Stefan Kangas <stefankangas <at> gmail.com>
To: João Távora <joaotavora <at> gmail.com>
Cc: 58892-done <at> debbugs.gnu.org, Eli Zaretskii <eliz <at> gnu.org>,
 Felician Nemeth <felician.nemeth <at> gmail.com>, larsi <at> gnus.org,
 monnier <at> iro.umontreal.ca
Subject: Re: bug#58892: 29.0.50;
 [PATCH] eglot-manual: Open the local info documentation
Date: Fri, 11 Nov 2022 05:05:28 -0800

João Távora <joaotavora <at> gmail.com> writes:

> On Sun, Oct 30, 2022 at 2:02 PM Eli Zaretskii <eliz <at> gnu.org> wrote:
>
>  > Currently, Eglot has a menu item that opens
>  > https://github.com/joaotavora/eglot#readme.  I think opening that URL
>  > doesn't make sense anymore since eglot.texi is the primary source of the
>  > documentation.   Is it OK then to remove this menu item?
>
>  Fine by me, but please wait for João to chime in.
>
> Yes, it's fine. Show a patch and or push directly if you have permissions.

Now done, see commit c64d94c849.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.