Re: Bug, probably related to Custom Themes.

[Luc Teirlinck]

>From my earlier reply:

   If you save a "setting" (to use the brand new terminology) and then
   choose "Erase Customization" for the same setting, the no-themes
   default gets restored for the current session and for future sessions
   _until_ you choose "Erase Customization" for some _other_ setting.

Actually, it is a little bit more complex.  It appears to be: "for
some other setting _whose name comes later in the alphabet_".  Anyway,
the relevant fact is that the current behavior is essentially
unpredictable and makes no sense at all.

Sincerely,

Luc.