diff -r a8c81a080588 -r 99ce78ddd353 svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Fri Feb 19 10:04:36 2021 +0100 +++ b/svghmi/gen_index_xhtml.xslt Sun Feb 21 21:38:44 2021 +0100 @@ -4452,16 +4452,12 @@ dispatch: function(value) { - - this.last_val = value; - - - + this.last_display = vsprintf(" - ", value); + ", [value]); @@ -4469,6 +4465,8 @@ + + this.request_animate(); @@ -4489,7 +4487,7 @@ ", " - ", this, this.last_val); + ", this, this.last_display); this.value_elt.style.pointerEvents = "none";