Re: Default of jit-lock-stealth-time

[Eli Zaretskii]

> From: Richard Stallman <address@hidden>
> CC: address@hidden, address@hidden
> 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.

Habits of developers are irrelevant here: the developers were talking
based on habits of mere mortals, not of their own.

Anyway, I just described the past, and we cannot change the past.  So
it's not useful to continue arguing about what did or didn't happen in
the past, and why.