mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-01 16:58:29 +00:00
d698e0876d
This patch complements the commit "nitpicker: defer hover changed while dragging" with fixes of the window layouter and motif decorator. - Handling of empty pointer model (after unhovering a decoration) instead of not updating it. - Re-applying the hover model to the window layout when leaving the drag state. This addresses the corner case that the hover model changed during the drag operation (which is rightfully not handled while dragging). - Letting the window layouter enter the drag state only if a dragged window is defined. Issue #3973
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.