mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-23 10:40:27 +00:00
72801975cd
When holding at least one key or button, the hovering should never change. In the previous version, this invariant was not enforced, but the symptoms for eventual inconsistencies were masked by two checkes: one when generating the hover report, and one when submitting the leave event. This patch enforces the invariant by suppressing any change of 'User_state::_hovered' while in dragged state. Fixes #3973
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.