mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 10:01:57 +00:00
6895175764
Each hover change of the character position within a label results in a new hover report, which needs to be evaluated by the application. For the common cases where labels are used as button texts or for presenting passive information, the level of detail is not needed while the recurring hover reports induce overhead at the application side. This patch mitigates this overhead by excluding labels from the hover reporting by default. For use cases that actually depend of precise hover reporting of labels, for example an editable text area, the hover reporting can be enabled by setting the 'hover="yes"' attribute of the label.
This directory is a source-code repository containing Genode-specific services and applications. In contrast to the components hosted in 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.