equal
deleted
inserted
replaced
74 } |
74 } |
75 |
75 |
76 if(jumps_need_update) update_jumps(); |
76 if(jumps_need_update) update_jumps(); |
77 |
77 |
78 apply_updates(); |
78 apply_updates(); |
|
79 |
|
80 pending_widget_animates.forEach(widget => widget._animate()); |
|
81 pending_widget_animates = []; |
|
82 |
79 requestAnimationFrameID = null; |
83 requestAnimationFrameID = null; |
80 } |
84 } |
81 |
85 |
82 function requestHMIAnimation() { |
86 function requestHMIAnimation() { |
83 if(requestAnimationFrameID == null){ |
87 if(requestAnimationFrameID == null){ |