[Top][All Lists]

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

Re: Mode-line face bug

From: Richard Stallman
Subject: Re: Mode-line face bug
Date: Sun, 11 Mar 2007 16:00:45 -0400

    > Here is an idea.  When a face attribute is set by customization,
    > set a flag to record that fact.  That flag will cause the X resource
    > to be ignored for that attribute.
    > Do you agree that is feasible?  Can you implement it?

    Like I mentioned, customized faces have a `theme-face' property, which
    can be used for this.

Thanks for fixing it.

reply via email to

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