|From:||Lennart Borgman (gmail)|
|Subject:||Re: font-lock-face superseeds face?|
|Date:||Sat, 16 Jun 2007 12:11:23 +0200|
|User-agent:||Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:22.214.171.124) Gecko/20070604 Thunderbird/126.96.36.199 Mnenhy/0.7.5.666|
martin rudalics wrote:
However if I now comment out the statement the 'highlight face is hidden. Does that happen for you too?Yes.
Well, and is not that a bug? Or have I misunderstood how 'font-lock-face should behave?
|[Prev in Thread]||Current Thread||[Next in Thread]|