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 */