[Top][All Lists]

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

Re: font-lock-face superseeds face?

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: Gecko/20070604 Thunderbird/ Mnenhy/

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.

reply via email to

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