Fix event loop not waking up due to repeat source

Force the wake up from the repeat source as well.

Fixes: cad327755 (On Wayland, reduce amount of spurious wakeups)
This commit is contained in:
Kirill Chibisov 2023-08-07 09:35:59 +04:00 committed by GitHub
parent 5f7955cb2b
commit e9ebf1e5f4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 8 additions and 1 deletions

View file

@ -287,6 +287,10 @@ impl Window {
#[inline]
pub fn request_redraw(&self) {
// NOTE: try to not wake up the loop when the event was already scheduled and not yet
// processed by the loop, because if at this point the value was `true` it could only
// mean that the loop still haven't dispatched the value to the client and will do
// eventually, resetting it to `false`.
if self
.window_requests
.redraw_requested