751 </xsl:text> |
751 </xsl:text> |
752 <xsl:text> |
752 <xsl:text> |
753 </xsl:text> |
753 </xsl:text> |
754 <xsl:text>// Apply updates recieved through ws.onmessage to subscribed widgets |
754 <xsl:text>// Apply updates recieved through ws.onmessage to subscribed widgets |
755 </xsl:text> |
755 </xsl:text> |
756 <xsl:text>// Do the page swith if any one pending |
756 <xsl:text>function apply_updates() { |
|
757 </xsl:text> |
|
758 <xsl:text> for(let index in updates){ |
|
759 </xsl:text> |
|
760 <xsl:text> // serving as a key, index becomes a string |
|
761 </xsl:text> |
|
762 <xsl:text> // -> pass Number(index) instead |
|
763 </xsl:text> |
|
764 <xsl:text> dispatch_value(Number(index), updates[index]); |
|
765 </xsl:text> |
|
766 <xsl:text> delete updates[index]; |
|
767 </xsl:text> |
|
768 <xsl:text> } |
|
769 </xsl:text> |
|
770 <xsl:text>} |
|
771 </xsl:text> |
|
772 <xsl:text> |
757 </xsl:text> |
773 </xsl:text> |
758 <xsl:text>// Called on requestAnimationFrame, modifies DOM |
774 <xsl:text>// Called on requestAnimationFrame, modifies DOM |
759 </xsl:text> |
775 </xsl:text> |
|
776 <xsl:text>var requestAnimationFrameID = null; |
|
777 </xsl:text> |
760 <xsl:text>function animate() { |
778 <xsl:text>function animate() { |
761 </xsl:text> |
779 </xsl:text> |
|
780 <xsl:text> // Do the page swith if any one pending |
|
781 </xsl:text> |
762 <xsl:text> if(current_subscribed_page != current_visible_page){ |
782 <xsl:text> if(current_subscribed_page != current_visible_page){ |
763 </xsl:text> |
783 </xsl:text> |
764 <xsl:text> switch_visible_page(current_subscribed_page); |
784 <xsl:text> switch_visible_page(current_subscribed_page); |
765 </xsl:text> |
785 </xsl:text> |
766 <xsl:text> } |
786 <xsl:text> } |
767 </xsl:text> |
787 </xsl:text> |
768 <xsl:text> |
788 <xsl:text> console.log("no page switch"); |
769 </xsl:text> |
789 </xsl:text> |
770 <xsl:text> for(let index in updates){ |
790 <xsl:text> apply_updates(); |
771 </xsl:text> |
|
772 <xsl:text> // serving as a key, index becomes a string |
|
773 </xsl:text> |
|
774 <xsl:text> // -> pass Number(index) instead |
|
775 </xsl:text> |
|
776 <xsl:text> dispatch_value(Number(index), updates[index]); |
|
777 </xsl:text> |
|
778 <xsl:text> delete updates[index]; |
|
779 </xsl:text> |
|
780 <xsl:text> } |
|
781 </xsl:text> |
791 </xsl:text> |
782 <xsl:text> requestAnimationFrameID = null; |
792 <xsl:text> requestAnimationFrameID = null; |
783 </xsl:text> |
793 </xsl:text> |
784 <xsl:text>} |
794 <xsl:text>} |
785 </xsl:text> |
795 </xsl:text> |
786 <xsl:text> |
796 <xsl:text> |
787 </xsl:text> |
|
788 <xsl:text>var requestAnimationFrameID = null; |
|
789 </xsl:text> |
797 </xsl:text> |
790 <xsl:text>function requestHMIAnimation() { |
798 <xsl:text>function requestHMIAnimation() { |
791 </xsl:text> |
799 </xsl:text> |
792 <xsl:text> if(requestAnimationFrameID == null){ |
800 <xsl:text> if(requestAnimationFrameID == null){ |
793 </xsl:text> |
801 </xsl:text> |