Re: address@hidden: Re: mouse cannot be used in *grep* buffer if font-lock is turned off]

[David Kastrup]

address@hidden (Daniel Pfeiffer) writes:

> I too am not sure about the argument of always running this if you
> get no benefit.  As for compilation and grep the benefit is clear.
> Font-lock has rather good parsing capabilities, and these modes need
> that.  The gaudiness is a side effect really.

Sounds like the "if all you have is a hammer, every problem looks like
a nail" concept.  If font lock is employed for something it is not
intended for because of efficiency, maybe we need to abtract the
parsing parts into useful packages of their own and make font lock use
them.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum