Re: Unfreezing the display during auto-repeated scrolling. [ Was: Aborting display. Is this possible? ]

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Cc: Eli Zaretskii <address@hidden>,  address@hidden
> Date: Sun, 26 Oct 2014 16:42:38 -0400
> 
> What I suggest is to refine jit-lock-defer such that jit-lock is
> deferred if there's input pending.

What about jit-lock-defer-time?  Setting it to a time slightly larger
than the keyboard auto-repeat interval should give Alain what he
wants.