Re: Unfreezing the display during auto-repeated scrolling. Simpler approach.

[Eli Zaretskii]

> From: David Engster <address@hidden>
> Cc: Alan Mackenzie <address@hidden>,  address@hidden,  address@hidden
> Date: Mon, 27 Oct 2014 20:13:19 +0100
> 
> I worked with a small value for jit-lock-defer-time for a while, but
> found that this does not play well with buffers that capture process
> output, like compilation or grep. They are not fontified until you press
> a key.

That warrants a bug report, I would think.