[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Global Font Lock by default
From: |
Luc Teirlinck |
Subject: |
Re: Global Font Lock by default |
Date: |
Wed, 2 Nov 2005 08:10:25 -0600 (CST) |
David Kastrup wrote:
Also, I think that for -batch, it does not make sense to have font
lock enabled.
It will not be enabled for -batch (nor for -D) if we apply my patches.
Sincerely,
Luc.
- Re: Global Font Lock by default, (continued)
- 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, 2005/11/02
- Re: Global Font Lock by default,
Luc Teirlinck <=
- 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