[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

Maybe you are right.  What do others think?

reply via email to

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