equal
deleted
inserted
replaced
80 function animate() { |
80 function animate() { |
81 // Do the page swith if any one pending |
81 // Do the page swith if any one pending |
82 if(current_subscribed_page != current_visible_page){ |
82 if(current_subscribed_page != current_visible_page){ |
83 switch_visible_page(current_subscribed_page); |
83 switch_visible_page(current_subscribed_page); |
84 } |
84 } |
85 console.log("no page switch"); |
|
86 apply_updates(); |
85 apply_updates(); |
87 requestAnimationFrameID = null; |
86 requestAnimationFrameID = null; |
88 } |
87 } |
89 |
88 |
90 function requestHMIAnimation() { |
89 function requestHMIAnimation() { |