[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Default of jit-lock-stealth-time
From: |
Miles Bader |
Subject: |
Re: Default of jit-lock-stealth-time |
Date: |
Tue, 27 Feb 2007 11:10:30 +0900 |
Stefan Monnier <address@hidden> writes:
> So to observe that stealth fontification provides you with some benefit, you
> have to turn it off and see if jit-lock behaves worse.
Sure, but there's little incentive to do so, so the rather heavy-handed
way you jumped on Eli seems out of place. The implication seemed to be
that if he didn't "observe some benefit", then there likely wasn't any
(which obviously isn't true).
> We know fairly well about the downsides and we know they don't affect
> everybody all the time, so this is not the interesting part of
> the discussion.
It serves to put the strident opposition to stealth fontification in
context, I think.
-Miles
--
Americans are broad-minded people. They'll accept the fact that a person can
be an alcoholic, a dope fiend, a wife beater, and even a newspaperman, but if a
man doesn't drive, there is something wrong with him. -- Art Buchwald
- Re: Default of jit-lock-stealth-time, (continued)
- Re: Default of jit-lock-stealth-time, David Kastrup, 2007/02/26
- Re: Default of jit-lock-stealth-time, Kim F. Storm, 2007/02/26
- Re: Default of jit-lock-stealth-time, martin rudalics, 2007/02/26
- Re: Default of jit-lock-stealth-time, Kim F. Storm, 2007/02/26
- Re: Default of jit-lock-stealth-time, Eli Zaretskii, 2007/02/26
- Re: Default of jit-lock-stealth-time, Stefan Monnier, 2007/02/26
- Re: Default of jit-lock-stealth-time, Miles Bader, 2007/02/26
- Re: Default of jit-lock-stealth-time, Stefan Monnier, 2007/02/26
- Re: Default of jit-lock-stealth-time,
Miles Bader <=
- 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