[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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]