GNU bug report logs - #5005
Let *Help* show custom option status

Previous Next

Full log

Message #10 received at 5005 <at> debbugs.gnu.org (full text, mbox):

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Lennart Borgman <lennart.borgman <at> gmail.com>
Cc: 5005 <at> debbugs.gnu.org
Subject: Re: bug#5005: Let *Help* show custom option status
Date: Tue, 01 Oct 2019 16:10:57 +0200

Lennart Borgman <lennart.borgman <at> gmail.com> writes:

> Please show the status of custom options in the *Help* buffer,
> something like this:
>
>   You can customize this variable. This variable has ben SAVED and set.

(I'm going through old bug reports that unfortunately didn't get any
response at the time.)

Hm...  I don't quite feel that this information would be useful for many
users.  The ones that are interested can just hit the link, and the
information will be displayed.  For the rest, it's just more verbiage.

So I'm closing this as a "wontfix".

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Previous Next

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