svghmi/gen_index_xhtml.xslt
branchsvghmi
changeset 3189 0733114a2090
parent 3188 c173452bf894
child 3190 80dd371e15bb
equal deleted inserted replaced
3188:c173452bf894 3189:0733114a2090
  4659 </xsl:text>
  4659 </xsl:text>
  4660     <xsl:text>    }
  4660     <xsl:text>    }
  4661 </xsl:text>
  4661 </xsl:text>
  4662     <xsl:text>
  4662     <xsl:text>
  4663 </xsl:text>
  4663 </xsl:text>
       
  4664     <xsl:text>    sub(...args){
       
  4665 </xsl:text>
       
  4666     <xsl:text>        this.cache[0] = undefined;
       
  4667 </xsl:text>
       
  4668     <xsl:text>        super.sub(...args);
       
  4669 </xsl:text>
       
  4670     <xsl:text>    }
       
  4671 </xsl:text>
       
  4672     <xsl:text>
       
  4673 </xsl:text>
  4664     <xsl:text>    dispatch(value, oldval, index) {
  4674     <xsl:text>    dispatch(value, oldval, index) {
  4665 </xsl:text>
  4675 </xsl:text>
  4666     <xsl:text>
  4676     <xsl:text>
  4667 </xsl:text>
  4677 </xsl:text>
  4668     <xsl:text>        if(this.cache[index] != value)
  4678     <xsl:text>        if(this.cache[index] != value)