Re: Aborting display. Is this possible?

[Eli Zaretskii]

> From: David Kastrup <address@hidden>
> Date: Sun, 19 Oct 2014 16:32:38 +0200
> 
> One possible way to deal with this is not to read characters while
> redisplay is being processed

We already do that, since both keyboard input and redisplay happen in
the same thread.

The problem is that auto-repeat leaves just enough time between the
repeated keystrokes for redisplay to kick in.  If auto-repeat would
send many keys in one large block, we would process them all before
attempting to redisplay.