mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-03 09:40:44 +00:00
c38c80fd43
This patch fixes the corner case where an animated geometry changes its destination mid-way while an animation is already in progress. The '_trigger_animated_geometry' method used to back out early in this case, which was intended as an optimization. Fixes #3296