GNU bug report logs - #23085
24.5; `customized-changed-options`

Previous Next

Full log

View this message in rfc822 format

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Drew Adams <drew.adams <at> oracle.com>
Cc: 23085 <at> debbugs.gnu.org
Subject: bug#23085: 24.5; `customized-changed-options`
Date: Sun, 07 Feb 2021 15:07:54 +0100

Drew Adams <drew.adams <at> oracle.com> writes:

> This name should not be an alias for `customize-changed'.  The doc
> string for that command says clearly that it "includes new user options
> and faces, and new customization groups, as well as older options and
> faces".  It is NOT about only options.  And the doc string combined with
> the unfortunate name is quite confusing.
>
> On the other hand, there should be separate commands that do the same
> thing as `customize-changed' but for ONLY options and ONLY faces.
>
> IOW, we SHOULD have a `customize-changed-options' and a
> customize-changed-faces', but the former should NOT be an alias for
> `customize-changed'.

The alias was introduced here:

commit bba50f8a9e697263139b19872ee0cc8f0e46b317
Author:     Richard M. Stallman <rms <at> gnu.org>
AuthorDate: Fri Dec 23 01:34:27 2005 +0000

    (customize-changed-options-previous-release): Prev release is 21.1.
    (customize-changed-options): Doc fix.
    (customize-changed): New alias.

And the doc string for customize-changed-options was changed to reflect
what it does, i.e., what you'd expect `customize-changed' to do.

This is kinda backwards, so I've now flipped this, and made
`customize-changed-options' an obsolete alias.  We could consider adding
a new `customize-changed-options' command that just list user options,
but it doesn't really seem that useful.

-- 
(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.