mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
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
This commit is contained in:
@@ -608,7 +608,7 @@ class Wm::Gui::Session_component : public Rpc_object<Gui::Session>,
|
||||
}
|
||||
|
||||
/* 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 */
|
||||
|
||||
Reference in New Issue
Block a user