mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 07:46:42 +00:00
3a2895af19
The wm used to remember the last pointer position when observing a leave event. With such a stale pointer position, the wm would eventually wrongly create an artifical motion event when a supposedly hovered window changes its position (during an animated move). This can lead to the propagation of the stale pointer position to the wm client, which, in turn, may interpret the outdated position (e.g., the menu view would report a wrong hover state). This patch removes the stale state by resetting the '_pointer_pos' when observing a leave event. Fixes #3632 |
||
|---|---|---|
| .. | ||
| include | ||
| lib | ||
| recipes | ||
| run | ||
| src | ||
| README | ||
This directory is a source-code repository containing Genode-specific services and applications. In contrast to the components that come with the 'os' repository, programs contained in 'gems' are able to leverage the functionalities provided by higher-level repositories such as 'libports'. To use the 'gems' repository, make sure to also add those repositories to your build configuraion.