[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Grep and font-lock
From: |
Richard Stallman |
Subject: |
Re: Grep and font-lock |
Date: |
Sun, 25 Apr 2004 14:08:30 -0400 |
That being said, I think we should change the default of font-lock to
"on": new users consider it a great and helpful feature and are used
to getting it from their editors and on relying on this sort of syntax
analysis.
Maybe you are right. What do others think?
- Grep and font-lock, Jan D., 2004/04/21
- Re: Grep and font-lock, Jan D., 2004/04/21
- Re: Grep and font-lock, Stefan Monnier, 2004/04/21
- Re: Grep and font-lock, Jan D., 2004/04/21
- Re: Grep and font-lock, Stefan Monnier, 2004/04/21
- 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 <=
- 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, 2004/04/26
- Re: Grep and font-lock, Richard Stallman, 2004/04/23