[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Default of jit-lock-stealth-time
From: |
David Kastrup |
Subject: |
Re: Default of jit-lock-stealth-time |
Date: |
Tue, 27 Feb 2007 12:00:48 +0100 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.94 (gnu/linux) |
Richard Stallman <address@hidden> writes:
> 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.
Well, one pointer would be if we had somebody who turned it off, only
to turn it back on later again because of getting inconvenienced. It
does not appear like we have such a specimen around.
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
- 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, 2007/02/27
- Re: Default of jit-lock-stealth-time, David Kastrup, 2007/02/27
- Re: Default of jit-lock-stealth-time,
David Kastrup <=
- 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
Re: Default of jit-lock-stealth-time, martin rudalics, 2007/02/26
Re: Default of jit-lock-stealth-time, David Kastrup, 2007/02/26