[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy
From: |
Eli Zaretskii |
Subject: |
bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages] |
Date: |
Mon, 24 Jan 2022 16:57:00 +0200 |
> 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.
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], (continued)
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], Eli Zaretskii, 2022/01/23
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], Michael Albinus, 2022/01/23
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], Po Lu, 2022/01/22
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], Ian Jackson, 2022/01/23
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], Michael Albinus, 2022/01/23
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], Ian Jackson, 2022/01/23
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], Po Lu, 2022/01/23
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], Michael Albinus, 2022/01/24
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages],
Eli Zaretskii <=
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], Michael Albinus, 2022/01/24
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], Eli Zaretskii, 2022/01/24
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], Michael Albinus, 2022/01/24
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], Eli Zaretskii, 2022/01/24
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], Ian Jackson, 2022/01/24
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], Michael Albinus, 2022/01/24
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], Ian Jackson, 2022/01/24
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], Michael Albinus, 2022/01/25
- bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy [and 1 more messages], Po Lu, 2022/01/23
bug#53432: [PATCH] Avoid losing keyboard input when inotify is too busy, Eli Zaretskii, 2022/01/22