[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Stealth fontification GCs a lot
From: |
Miles Bader |
Subject: |
Re: Stealth fontification GCs a lot |
Date: |
Thu, 14 Apr 2005 15:20:44 +0900 |
On 4/14/05, Jonathan Yavner <address@hidden> wrote:
> Maybe stealth font-lock is pointless all the time.
Well that's clearly not true. I think it is pretty hard to tune
because you'd have to guess what the user's going to do...
Maybe it should only try to stealth-fontify some amount of text before
and after the current point (e.g., 100 lines before and after; if the
user moves, then just give up on the old position...), which would
provide a bit of buffering to make page-movement fast, but not spend
ages fontifying the entirety of giant source files.
-Miles
--
Do not taunt Happy Fun Ball.
- Re: Stealth fontification GCs a lot, (continued)
Re: Stealth fontification GCs a lot, Richard Stallman, 2005/04/11
- Re: Stealth fontification GCs a lot, Ralf Angeli, 2005/04/12
- Re: Stealth fontification GCs a lot, Richard Stallman, 2005/04/13
- Re: Stealth fontification GCs a lot, Ralf Angeli, 2005/04/13
- Re: Stealth fontification GCs a lot, Richard Stallman, 2005/04/14
- Re: Stealth fontification GCs a lot, Ralf Angeli, 2005/04/14
Re: Stealth fontification GCs a lot, Jonathan Yavner, 2005/04/14
- Re: Stealth fontification GCs a lot,
Miles Bader <=
- Re: Stealth fontification GCs a lot, David Kastrup, 2005/04/14
- Re: Stealth fontification GCs a lot, Ralf Angeli, 2005/04/14
- Re: Stealth fontification GCs a lot, Richard Stallman, 2005/04/14
- Re: Stealth fontification GCs a lot, Ralf Angeli, 2005/04/15
- Re: Stealth fontification GCs a lot, Richard Stallman, 2005/04/15
Re: Stealth fontification GCs a lot, Eli Zaretskii, 2005/04/15
Re: Stealth fontification GCs a lot, Ralf Angeli, 2005/04/15
Re: Stealth fontification GCs a lot, Richard Stallman, 2005/04/14
Re: Stealth fontification GCs a lot, Eli Zaretskii, 2005/04/15