mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-27 03:38:32 +00:00
dffa32a72c
When updating a dialog after a prolonged idle time with no active animatons, the next _handle_gui_sync would wrongly fast-forward animations for all the frames passed since the last _handle_gui_sync. On the PinePhone, this effect is clearly visible when switching between the main section. The GUI jumps from one state to another instead of transitioning. This patch solves the issue be resetting '_previous_sync' when waking up from idle. Related to issue #5347
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.