[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: |
Eli Zaretskii |
Subject: |
bug#18856: 24.4; *grep* output buffer not getting fontified when jit-lock-defer-time is used |
Date: |
Tue, 28 Oct 2014 19:53:12 +0200 |
> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Date: Tue, 28 Oct 2014 13:09:02 -0400
> Cc: 18856@debbugs.gnu.org
>
> IOW jit-lock-defer should use a non-idle timer for this case.
But then how do we ensure the fontifications don't happen for as long
as Emacs isn't idle? test idleness by hand inside the timer function?
> Note that an alternative implementation of jit-lock-defer which only
> defers when there is not input pending would supposedly not suffer from
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
You mean, when there _is_ input pending, right?
> this problem since it wouldn't defer fontification in this case (of
> course, that would suffer from the reverse problem that by failing to
> defer fontification, the redisplay may not be able to keep up with
> process output).
Indeed, so what's the point of doing that?
- 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, Stefan Monnier, 2014/10/28
- bug#18856: 24.4; *grep* output buffer not getting fontified when jit-lock-defer-time is used,
Eli Zaretskii <=
- 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/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/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