[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.