[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: Wed, 28 Feb 2007 02:27:45 -0500

    One evidence I can offer is the number of discussions between
    developers where different people tried many times to convince Richard
    to turn font-lock on by default.

You can't judge anything about most users by looking at the habits
of developers.

reply via email to

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