[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: |
Tue, 27 Feb 2007 22:48:41 +0200 |
> From: David Kastrup <address@hidden>
> Date: Tue, 27 Feb 2007 09:17:10 +0100
> Cc: Stefan Monnier <address@hidden>, address@hidden
> >
> > The motive for stealth fontification was to avoid delays when moving
> > to another part of the file.
>
> That is the motive for jit-font-lock, but stealth fontification
> fontifies _other_ buffers. While it may also hit the current buffer,
> this is not a priority as far as I can tell.
The current buffer does not need to be a priority because no one says
that the user works only (or mainly) in a single buffer. I'm as
likely to go to the end of another buffer as I am in the one where I
do my edits.
- Re: Default of jit-lock-stealth-time, (continued)
- Re: Default of jit-lock-stealth-time, Richard Stallman, 2007/02/25
- Re: Default of jit-lock-stealth-time, Stefan Monnier, 2007/02/25
- Re: Default of jit-lock-stealth-time, Richard Stallman, 2007/02/26
- Re: Default of jit-lock-stealth-time, Eli Zaretskii, 2007/02/26
- Re: Default of jit-lock-stealth-time, Richard Stallman, 2007/02/27
- Re: Default of jit-lock-stealth-time, Eli Zaretskii, 2007/02/27
- Re: Default of jit-lock-stealth-time, Richard Stallman, 2007/02/28
- Re: Default of jit-lock-stealth-time, Eli Zaretskii, 2007/02/28
- 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 <=
- Re: Default of jit-lock-stealth-time, Richard Stallman, 2007/02/27
- Re: Default of jit-lock-stealth-time, Richard Stallman, 2007/02/27
Re: Default of jit-lock-stealth-time, David Kastrup, 2007/02/26
Re: Default of jit-lock-stealth-time, Stefan Monnier, 2007/02/25