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

Previous Next

Full log

View this message in rfc822 format

From: John Wiegley <jwiegley <at> gmail.com>
To: Drew Adams <drew.adams <at> oracle.com>
Cc: 23085 <at> debbugs.gnu.org
Subject: bug#23085: 24.5; `customized-changed-options`
Date: Sat, 26 Mar 2016 17:43:05 -0700

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

I agree, Drew.

-- 
John Wiegley                  GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com                          60E1 46C4 BD1A 7AC1 4BA2

Previous Next

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