[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Global Font Lock by default
From: |
David Kastrup |
Subject: |
Re: Global Font Lock by default |
Date: |
Wed, 02 Nov 2005 13:08:10 +0100 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
"Richard M. Stallman" <address@hidden> writes:
> Maybe we should have a --no-font-lock -nfl options....
>
> I don't see a need for them. There is no reason to make
> a command line option for every Emacs option.
> Command line options are mainly useful for things
> that you might want to do differently from one Emacs invocation
> to another. I don't think that font lock is in that class.
One might want to open a file that has serious performance issues or
other problems in font lock mode.
Also, I think that for -batch, it does not make sense to have font
lock enabled.
> Besides, people will think that -nfl means it follows
> US-style football rules.
And we all know that Emacs is currently quite more than a quarterback.
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
- Re: Global Font Lock by default, (continued)
- Re: Global Font Lock by default, Kim F. Storm, 2005/11/01
- Re: Global Font Lock by default, Dan Nicolaescu, 2005/11/01
- Re: Global Font Lock by default, Luc Teirlinck, 2005/11/01
- Re: Global Font Lock by default, Luc Teirlinck, 2005/11/01
- Re: Global Font Lock by default, Luc Teirlinck, 2005/11/01
- Re: Global Font Lock by default, Eli Zaretskii, 2005/11/01
- Re: Global Font Lock by default, Eli Zaretskii, 2005/11/01
- Re: Global Font Lock by default, Kim F. Storm, 2005/11/01
- Re: Global Font Lock by default, Luc Teirlinck, 2005/11/01
- Re: Global Font Lock by default, Richard M. Stallman, 2005/11/02
- Re: Global Font Lock by default,
David Kastrup <=
- Re: Global Font Lock by default, Luc Teirlinck, 2005/11/02
- Re: Global Font Lock by default, Richard M. Stallman, 2005/11/03
- Re: Global Font Lock by default, Stefan Monnier, 2005/11/03
- Re: Global Font Lock by default, David Kastrup, 2005/11/03
- Re: Global Font Lock by default, Luc Teirlinck, 2005/11/03
Re: Global Font Lock by default, Romain Francoise, 2005/11/01
Re: Global Font Lock by default, Dan Nicolaescu, 2005/11/01
Re: Global Font Lock by default, Richard M. Stallman, 2005/11/01