mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-08 12:20:21 +00:00
This patch addresses the corner case where hovering changes while a button is held, e.g., when accidentially moving the pointer out of a application window's area during a drag-and-drop operation. The patch makes the window manager aware of the drag/idle state. Only when idle, the pointer position is propagated to the decorator now.