[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#75143: debbugs info manual name
|
From: |
Michael Albinus |
|
Subject: |
bug#75143: debbugs info manual name |
|
Date: |
Sat, 28 Dec 2024 12:32:01 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Morgan Smith <morgan.j.smith@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.