Re: Default of jit-lock-stealth-time

[David Kastrup]

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