[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 09:31:17 +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.
And let us not forget that this inconvience is unexpected, gives Emacs
a bad name (since it sucks up CPU even when idle) and is
non-debuggable, since timer functions run with quit turned off. It is
completely impossible for the average affected user (heck, it was even
for me until Richard gave me a direct pointer to stealth fontification
after a bug report of mine) to find out which of the thousands of
settings inside of Emacs is responsible for the problem.
So it is a bad idea for a default setting.
> The question now is whether it _avoids_ a substantial inconvenience
> for a substantial fraction of users.
That would make it a good idea for a prominently accessible user
option. I'd still think it a bad idea for a default setting.
--
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 <=
- 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
Re: Default of jit-lock-stealth-time, martin rudalics, 2007/02/26