GNU bug report logs - #75143
debbugs info manual name

Previous Next

Package: emacs;

Reported by: Morgan Smith <Morgan.J.Smith <at> outlook.com>

Date: Fri, 27 Dec 2024 15:22:01 UTC

Severity: wishlist

Done: Michael Albinus <michael.albinus <at> gmx.de>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Michael Albinus <michael.albinus <at> gmx.de>
To: Morgan Smith <morgan.j.smith <at> outlook.com>
Cc: 75143 <at> debbugs.gnu.org
Subject: bug#75143: debbugs info manual name
Date: Sat, 28 Dec 2024 12:32:01 +0100

Morgan Smith <morgan.j.smith <at> outlook.com> writes:

>>> Hello!

Hi Morgan,

> When selecting an info manual it still takes me a second to remember
> that "Debbugs UG" means user guide.  Maybe this could be fixed by adding
> the short description of the manuals to the Info auto-complete menu
> (`Info-menu').  I might look into that but that would belong in a
> separate bug report.

Good idea. You could reuse this bug report for tracking your actions.

>>> Thanks,
>>>
>>> Morgan

Best regards, Michael.
This bug report was last modified 152 days ago.

Previous Next

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