[Top][All Lists]

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

Re: Face color changes

From: Richard Stallman
Subject: Re: Face color changes
Date: Sat, 01 Jan 2005 00:24:40 -0500

    Er, if by "that", you mean "overwrite all specs with a single case",
    that's the _current_ behavior[1] (and has been the the behavior for as
    long as I can remember[2]).

Yes, but I think it is a drastic thing to do--to discard all the other
conditional alternatives that the user doesn't even know about.  The
user probably meant the customization to replace the behavior he saw.

Perhaps the customization buffer could show a button that says
"enable other alternatives for other kinds of displays", and it
would normally be "yes".  If the user turns it off, then the
customized behavior should be unconditional.  If the user leaves
it alone, then the customized behavior would be only for the
current alternative.

reply via email to

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