mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 06:07:59 +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 |
||
---|---|---|
.. | ||
app | ||
lib | ||
server | ||
test |