mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-13 14:13:40 +00:00
1088035f8e
This patch ensures that the pointer report is updated not before all input events are handled. The change does not solve any observed practical issue but the potential problem was spotted while reviewing the code. Issue #4176
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.