[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Default of jit-lock-stealth-time
|
From: |
Richard Stallman |
|
Subject: |
Re: Default of jit-lock-stealth-time |
|
Date: |
Tue, 27 Feb 2007 02:38:51 -0500 |
More discussion of who has, and who has not, been inconvenienced by
stealth fontification is not really useful, because we already know
that it is a substantial inconvenience for some users.
The question now is whether it _avoids_ a substantial inconvenience
for a substantial fraction of users.
- Re: Default of jit-lock-stealth-time, (continued)
Re: Default of jit-lock-stealth-time, Stefan Monnier, 2007/02/25
- Re: Default of jit-lock-stealth-time, Romain Francoise, 2007/02/26
- Re: Default of jit-lock-stealth-time, David Kastrup, 2007/02/26
- Re: Default of jit-lock-stealth-time, Andreas Schwab, 2007/02/26
- Re: Default of jit-lock-stealth-time, David Kastrup, 2007/02/26
- Re: Default of jit-lock-stealth-time, Andreas Schwab, 2007/02/26
- Re: Default of jit-lock-stealth-time,
Richard Stallman <=
- Re: Default of jit-lock-stealth-time, David Kastrup, 2007/02/27
- Re: Default of jit-lock-stealth-time, David Kastrup, 2007/02/27
- Re: Default of jit-lock-stealth-time, Richard Stallman, 2007/02/27
Re: Default of jit-lock-stealth-time, Juanma Barranquero, 2007/02/26
Re: Default of jit-lock-stealth-time, Jan Djärv, 2007/02/26
Re: Default of jit-lock-stealth-time, David Kastrup, 2007/02/26
Re: Default of jit-lock-stealth-time, Juanma Barranquero, 2007/02/26
Re: Default of jit-lock-stealth-time, Kim F. Storm, 2007/02/26
Re: Default of jit-lock-stealth-time, martin rudalics, 2007/02/26
Re: Default of jit-lock-stealth-time, Stefan Monnier, 2007/02/26