[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: Grep and font-lock
From: |
Drew Adams |
Subject: |
RE: Grep and font-lock |
Date: |
Mon, 26 Apr 2004 09:10:51 -0700 |
Yes, "on" is a better default for font-lock-mode.
-----Original Message-----
From: address@hidden
[mailto:address@hidden Behalf Of
Richard Stallman
That being said, I think we should change the default of font-lock to
"on"...
Maybe you are right. What do others think?
- Re: Grep and font-lock, (continued)
- Re: Grep and font-lock, Jan D., 2004/04/21
- Re: Grep and font-lock, Miles Bader, 2004/04/21
- Re: Grep and font-lock, Stefan Monnier, 2004/04/21
- Re: Grep and font-lock, Richard Stallman, 2004/04/23
- Re: Grep and font-lock, David Kastrup, 2004/04/23
- Re: Grep and font-lock, Richard Stallman, 2004/04/25
- Re: Grep and font-lock, Simon Josefsson, 2004/04/25
- Re: Grep and font-lock, David Kastrup, 2004/04/25
- Re: Grep and font-lock, Kim F. Storm, 2004/04/26
- Re: Grep and font-lock, Stefan Monnier, 2004/04/27
- RE: Grep and font-lock,
Drew Adams <=
- Re: Grep and font-lock, Richard Stallman, 2004/04/23