[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#18856: 24.4; *grep* output buffer not getting fontified when jit-loc
From: |
Stefan Monnier |
Subject: |
bug#18856: 24.4; *grep* output buffer not getting fontified when jit-lock-defer-time is used |
Date: |
Wed, 29 Oct 2014 00:06:14 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
>> To only defer fontification when we know "for sure" that the user is
>> waiting for further processing.
> Sorry, you lost me. When input is pending, what further processing is
> the user waiting for?
The user is waiting for Emacs to process the input that he's already sent.
> I don't think this is too high a price. First, as Alain established,
> what takes 90% of the time is not redisplay, but fontifications, and
> those are run only once.
This 90% is for CC-mode, where font-lock is particularly expensive.
> And second, the 2nd redisplay will only redraw the portions that were
> fontified, not the entire window. So this is not "twice", but more
> like 1.2 times.
The 1st redisplay also only redrew the portion that was modified, which
is pretty close in many cases to the portion that later gets fontified.
Stefan
- bug#18856: 24.4; *grep* output buffer not getting fontified when jit-lock-defer-time is used, David Engster, 2014/10/27
- bug#18856: 24.4; *grep* output buffer not getting fontified when jit-lock-defer-time is used, Eli Zaretskii, 2014/10/28
- bug#18856: 24.4; *grep* output buffer not getting fontified when jit-lock-defer-time is used, Stefan Monnier, 2014/10/28
- bug#18856: 24.4; *grep* output buffer not getting fontified when jit-lock-defer-time is used, Eli Zaretskii, 2014/10/28
- bug#18856: 24.4; *grep* output buffer not getting fontified when jit-lock-defer-time is used, Stefan Monnier, 2014/10/28
- bug#18856: 24.4; *grep* output buffer not getting fontified when jit-lock-defer-time is used, Eli Zaretskii, 2014/10/28
- bug#18856: 24.4; *grep* output buffer not getting fontified when jit-lock-defer-time is used,
Stefan Monnier <=
- bug#18856: 24.4; *grep* output buffer not getting fontified when jit-lock-defer-time is used, Eli Zaretskii, 2014/10/29
- bug#18856: 24.4; *grep* output buffer not getting fontified when jit-lock-defer-time is used, Stefan Monnier, 2014/10/29
- bug#18856: 24.4; *grep* output buffer not getting fontified when jit-lock-defer-time is used, Eli Zaretskii, 2014/10/29
- bug#18856: 24.4; *grep* output buffer not getting fontified when jit-lock-defer-time is used, Stefan Monnier, 2014/10/30