svghmi/gen_index_xhtml.xslt
branchsvghmi
changeset 3189 0733114a2090
parent 3188 c173452bf894
child 3190 80dd371e15bb
--- 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>