[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 21:37:47 -0500

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

You may be right.  I'm asking anyone who DOES finr stealth
fontification useful to speak up.  Eli Z seemed to say so,
but has not given details.

We will see what he has to say.

reply via email to

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