[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
font-lock-mode).
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.
Re: junk in *grep* buffers, Dave Love, 2005/04/11