bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages]

[Eli Zaretskii]

> From: Michael Albinus <michael.albinus@gmx.de>
> Date: Mon, 24 Jan 2022 15:42:33 +0100
> Cc: Po Lu <luangruo@yahoo.com>, 53432@debbugs.gnu.org
> 
> The advantage of splitting into "keyboard" and "other things" buffers
> would be, that the keyboard buffer doesn't overrun, whatever burst of
> D-Bus or file notification events arrives.

But the disadvantage is that we will immediately be facing a problem
of priority in handling input from more than one source.