mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 10:01:57 +00:00
391c261199
The 'Widget::_version' attribute was meant to allow the deliberate replacement of a widget by a same-named widget by changing the version while keeping the name, thereby suppressing any geomety animation. However, the implementation missed to populate the attribute with the value provided by the dialog ROM, prompting the unconditional re-creation of the widget whenever a 'version' attribute was specified. Even though this had the (desired) effect of preventing geometry animations, it could cause feedback loops between hover reports and dialog ROMs because the 'hover_changed' condition in 'Menu_view::Main' would always stay true while a versioned widget is hovered.
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.