Re: Bug, probably related to Custom Themes.

[Luc Teirlinck]

Richard Stallman wrote:

   if a setting is set by a theme, the "Erase Customization" item of
   the State Menu is enabled, whereas it should not be, because it is
   not going to have any effect (which is confusing to the user,
   because the State message says and keeps saying: "SAVED and set").

   That seems right.

   I see that Yidong just added a feature to make it display as "THEMED"
   instead.  Does that fix this problem?

It does fix this particular problem, provided that Chong grepped for
all places that check for the Custom state being standard.  They
should now normally check for standard or themed, because standard or
themed are essentially equivalent.  The main reason to distinguish
between them is to provide proper info to the user.

Sincerely,

Luc.