equal
deleted
inserted
replaced
7515 </xsl:text> |
7515 </xsl:text> |
7516 <xsl:text> |
7516 <xsl:text> |
7517 </xsl:text> |
7517 </xsl:text> |
7518 <xsl:text>function apply_hmi_value(index, new_val) { |
7518 <xsl:text>function apply_hmi_value(index, new_val) { |
7519 </xsl:text> |
7519 </xsl:text> |
7520 <xsl:text> let old_val = cache[index] |
7520 <xsl:text> let old_val = cache[index]; |
7521 </xsl:text> |
7521 </xsl:text> |
7522 <xsl:text> if(new_val != undefined && old_val != new_val) |
7522 <xsl:text> if(new_val != undefined && old_val != new_val) |
7523 </xsl:text> |
7523 </xsl:text> |
7524 <xsl:text> send_hmi_value(index, new_val); |
7524 <xsl:text> send_hmi_value(index, new_val); |
7525 </xsl:text> |
7525 </xsl:text> |