all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* bug#23085: 24.5; `customized-changed-options`
@ 2016-03-21 22:45 Drew Adams
  2016-03-27  0:43 ` John Wiegley
  2021-02-07 14:07 ` Lars Ingebrigtsen
  0 siblings, 2 replies; 10+ messages in thread
From: Drew Adams @ 2016-03-21 22:45 UTC (permalink / raw)
  To: 23085

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



In GNU Emacs 24.5.1 (i686-pc-mingw32)
 of 2015-04-11 on LEG570
Windowing system distributor `Microsoft Corp.', version 6.1.7601
Configured using:
 `configure --prefix=/c/usr --host=i686-pc-mingw32'





^ permalink raw reply	[flat|nested] 10+ messages in thread

end of thread, other threads:[~2021-02-09  7:20 UTC | newest]

Thread overview: 10+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-03-21 22:45 bug#23085: 24.5; `customized-changed-options` Drew Adams
2016-03-27  0:43 ` John Wiegley
2021-02-07 14:07 ` Lars Ingebrigtsen
2021-02-07 15:26   ` Eli Zaretskii
2021-02-07 18:08     ` bug#23085: [External] : " Drew Adams
2021-02-07 20:47     ` Basil L. Contovounesios
2021-02-08  6:10       ` Lars Ingebrigtsen
2021-02-08 15:15         ` Eli Zaretskii
2021-02-09  7:20           ` Lars Ingebrigtsen
2021-02-08  6:05     ` Lars Ingebrigtsen

Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.