|
From: | Lennart Borgman (gmail) |
Subject: | Re: font-lock-face superseeds face? |
Date: | Sat, 16 Jun 2007 14:38:00 +0200 |
User-agent: | Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.4) Gecko/20070604 Thunderbird/2.0.0.4 Mnenhy/0.7.5.666 |
martin rudalics wrote:
Well, and is not that a bug? Or have I misunderstood how 'font-lock-face should behave?Did you try to trace the behavior? Is it in redisplay?
No, I have not tried that yet. I wanted to be sure what the behaviour should be first. Actually I believe it worked as I expect it to long before, but I am not sure. It is however quite possible I got fooled by the different cases we have seen here.
[Prev in Thread] | Current Thread | [Next in Thread] |