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

[David Engster]

Eli Zaretskii writes:
>> 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.

OK, it's now filed as #18856.

-David