[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Inherited faces has wrong priority
From: |
Miles Bader |
Subject: |
Re: Inherited faces has wrong priority |
Date: |
Thu, 24 Nov 2005 02:12:01 +0900 |
2005/11/23, Henrik Enberg <address@hidden>:
> I take this to mean that the inherited face should win when both set the
> same attribute.
Er, no, not if the _face itself_ has a given attribute. Inheritance
always loses to attributes directly defined in the actual face.
The comment has to do with other faces which get merged at display-time.
-miles
--
Do not taunt Happy Fun Ball.