svghmi/svghmi.js
branchsvghmi
changeset 2867 901c89c0cc08
parent 2865 545902730141
child 2869 d9eb50c015d1
equal deleted inserted replaced
2866:59a855c17aa6 2867:901c89c0cc08
    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() {