diff -r 22b969b409b0 -r 497aac6522a3 svghmi/svghmi.js
--- a/svghmi/svghmi.js	Mon Aug 10 11:30:06 2020 +0200
+++ b/svghmi/svghmi.js	Mon Aug 10 13:58:55 2020 +0200
@@ -76,6 +76,10 @@
     if(jumps_need_update) update_jumps();
 
     apply_updates();
+
+    pending_widget_animates.forEach(widget => widget._animate());
+    pending_widget_animates = [];
+
     requestAnimationFrameID = null;
 }