bug-gnu-emacs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#31692: Emacs sometimes drops key events


From: Eli Zaretskii
Subject: bug#31692: Emacs sometimes drops key events
Date: Wed, 06 Jun 2018 17:52:30 +0300

> From: Michael Heerdegen <address@hidden>
> Cc: address@hidden,  address@hidden
> Date: Wed, 06 Jun 2018 04:58:31 +0200
> 
> Eli Zaretskii <address@hidden> writes:
> 
> > Does it produce the character you type, though?  Because if it
> > doesn't, then whether or not you see "Quit" doesn't matter much, IMO,
> > at least not for the main issue at hand.
> 
> Hmm, right, it doesn't.
> 
> But I do not only see the issue in the aggressive-indent-mode, but also
> an issue in Emacs...you don't?

Not necessarily.  The forms of the body are aborted, as documented,
and that includes discarding all input, so the character that
interrupted while-no-input gets discarded as well.

> For `aggressive-indent-mode' - I think they should use an idle timer:
> Add something to `post-command-hook' that activates the timer, or resets
> the idle time when the timer is already there.  When the timer fires,
> you don't need `sit-for' - and the problem only occurs when
> `while-no-input' and `sit-for' are combined.  The timer just calls the
> aggressive indent function wrapped in `while-no-input'.

I actually don't understand why not use just sit-for.  Why is
while-no-input needed on top of that?





reply via email to

[Prev in Thread] Current Thread [Next in Thread]