mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-28 23:23:56 +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