[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Bug, probably related to Custom Themes.

From: Luc Teirlinck
Subject: Re: Bug, probably related to Custom Themes.
Date: Fri, 23 Dec 2005 19:53:17 -0600 (CST)

Chong Yidong wrote:

   Maybe the "Save Options" menu bar entry should unconditionally save
   all these options.  The current behavior, which is to check the
   saved-value of the option against its default-value, doesn't seem to
   be necessary.

Then you would get the opposite problem: hardcoding a bunch of
settings to their default values, thereby overriding future themes,
without the user having asked for that.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]