[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Default of jit-lock-stealth-time
From: |
Eli Zaretskii |
Subject: |
Re: Default of jit-lock-stealth-time |
Date: |
Wed, 28 Feb 2007 22:39:01 +0200 |
> 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.
- Re: Default of jit-lock-stealth-time, (continued)
- Re: Default of jit-lock-stealth-time, Stefan Monnier, 2007/02/26
- Re: Default of jit-lock-stealth-time, David Kastrup, 2007/02/27
- Re: Default of jit-lock-stealth-time, Eli Zaretskii, 2007/02/27
- Re: Default of jit-lock-stealth-time, David Kastrup, 2007/02/27
- Re: Default of jit-lock-stealth-time, Eli Zaretskii, 2007/02/27
- Re: Default of jit-lock-stealth-time, David Kastrup, 2007/02/27
- Re: Default of jit-lock-stealth-time, Eli Zaretskii, 2007/02/27
- Re: Default of jit-lock-stealth-time, David Kastrup, 2007/02/28
- Re: Default of jit-lock-stealth-time, Eli Zaretskii, 2007/02/28
- Re: Default of jit-lock-stealth-time, Richard Stallman, 2007/02/28
- Re: Default of jit-lock-stealth-time,
Eli Zaretskii <=
- Re: Default of jit-lock-stealth-time, Stefan Monnier, 2007/02/27
- Re: Default of jit-lock-stealth-time, Eli Zaretskii, 2007/02/26