# HG changeset patch
# User Edouard Tisserant
# Date 1615900719 -3600
# Node ID 0733114a2090aa44b4c1849f19c1fdecd7aa3922
# Parent  c173452bf894c91955e10e8b389a558433167039
SVGHMI: JsonTable should refresh when re-subscibing, because data might have changed while not on the page we are switching to.

diff -r c173452bf894 -r 0733114a2090 svghmi/gen_index_xhtml.xslt
--- a/svghmi/gen_index_xhtml.xslt	Mon Mar 15 11:25:24 2021 +0100
+++ b/svghmi/gen_index_xhtml.xslt	Tue Mar 16 14:18:39 2021 +0100
@@ -4661,6 +4661,16 @@
 </xsl:text>
     <xsl:text>
 </xsl:text>
+    <xsl:text>    sub(...args){
+</xsl:text>
+    <xsl:text>        this.cache[0] = undefined;
+</xsl:text>
+    <xsl:text>        super.sub(...args);
+</xsl:text>
+    <xsl:text>    }
+</xsl:text>
+    <xsl:text>
+</xsl:text>
     <xsl:text>    dispatch(value, oldval, index) {
 </xsl:text>
     <xsl:text>
diff -r c173452bf894 -r 0733114a2090 svghmi/widget_jsontable.ysl2
--- a/svghmi/widget_jsontable.ysl2	Mon Mar 15 11:25:24 2021 +0100
+++ b/svghmi/widget_jsontable.ysl2	Tue Mar 16 14:18:39 2021 +0100
@@ -52,6 +52,11 @@
             super.unsub();
         }
 
+        sub(...args){
+            this.cache[0] = undefined;
+            super.sub(...args);
+        }
+
         dispatch(value, oldval, index) {
 
             if(this.cache[index] != value)