From 6a89f8b19edc1f8339956c5ba2608ce90bc1781e Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Tue, 12 Oct 2021 16:25:01 +0200 Subject: [PATCH] wm: fix key_cnt consistency glitch This patch presents all press and release events to the pointer state, fixing the problem that _key_cnt was decreased but never increased. However, the inconsistency had no observable effects in practice. Issue #4176 --- repos/gems/src/server/wm/gui.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/gems/src/server/wm/gui.h b/repos/gems/src/server/wm/gui.h index 433139406f..67d7779f66 100644 --- a/repos/gems/src/server/wm/gui.h +++ b/repos/gems/src/server/wm/gui.h @@ -608,7 +608,7 @@ class Wm::Gui::Session_component : public Rpc_object, } /* may be end of drag operation */ - if (ev.release() && _key_cnt == 0) + if (ev.press() || ev.release()) propagate_to_pointer_state = true; /* pointer has left the application area */