[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: can't turn off font-lock
From: |
Richard Stallman |
Subject: |
Re: can't turn off font-lock |
Date: |
Mon, 13 Aug 2007 01:01:16 -0400 |
Because grep relies on compilation-mode, which uses font-lock to do its
work, so it forcefully enables font-lock.
It seems like a bug for it to work this way.
What it ought to do is enable Font Lock in an internal way, so it will
put on font-lock-face properties. These properties should be created
regardless of whether Font Lock mode is enabled, but they should
only affect display when Font Lock mode is enabled.
- Re: can't turn off font-lock, (continued)
- Re: can't turn off font-lock, Juri Linkov, 2007/08/12
- Re: can't turn off font-lock, Karl Berry, 2007/08/13
- Re: can't turn off font-lock, Juri Linkov, 2007/08/13
- Re: can't turn off font-lock, Eli Zaretskii, 2007/08/12
- Re: can't turn off font-lock, Richard Stallman, 2007/08/13
- Re: can't turn off font-lock, Eli Zaretskii, 2007/08/13
- Re: can't turn off font-lock, Alfred M. Szmidt, 2007/08/12
Re: can't turn off font-lock,
Richard Stallman <=
Re: can't turn off font-lock, Karl Berry, 2007/08/12
Re: can't turn off font-lock, Karl Berry, 2007/08/12