[Top][All Lists]

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

Re: junk in *grep* buffers

From: Richard Stallman
Subject: Re: junk in *grep* buffers
Date: Wed, 06 Apr 2005 19:01:48 -0400

    It would seem much safer to do the translation of escape sequences to
    text-properties in the process filter (maybe it could add a
    `font-lock-face' property, so that the displayed result would honor

Would someone like to try implementing this?

Do these escape sequences get converted into face properties?  If so,
there's a possible slowdown in that the filter would have to do that
job as well.  But the only way to tell if this slowdown is significant
is to implement it and see.

reply via email to

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