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";