mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-31 06:31:10 +00:00
f839b3ecba
The window manager infers the overall state from the intercepted input events for the decorator and all GUI clients. However, each of those parties have an independent input-event stream. Whereas the order of events within one GUI session is strict, the order of events between GUI sessions is arbitrary. The window manager wrongly relied on a global event ordering to track the pointed-at GUI session. The patch removes the assumption of a global event order by tracking the relevant pointer state for each GUI session independently and evaluating these states when propagating the pointer position to the decorator. Fixes #4059
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.