[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 08:19:45 +0900 |
Stefan Monnier <address@hidden> writes:
> This doesn't answer the question: have you *observed* *benefits*?
That's a rather silly question though, given that the whole purpose of
stealth fontification is to make fontification of large source files
more "seamless" -- i.e., unobservable...
I've never changed the default, and never noticed any delay or adverse
effects; occasionally it causes my system to not be idle when I thought
it should be idle (why should I care though?).
-Miles
--
"Most attacks seem to take place at night, during a rainstorm, uphill,
where four map sheets join." -- Anon. British Officer in WW I
- 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 <=
- 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, 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