diff -r 5a0f7fcf9a8f -r 7dcd0de97e6f svghmi/gen_index_xhtml.xslt
--- a/svghmi/gen_index_xhtml.xslt Fri Aug 12 13:35:59 2022 +0200
+++ b/svghmi/gen_index_xhtml.xslt Fri Aug 12 16:52:15 2022 +0200
@@ -160,8 +160,37 @@
+
+
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -305,11 +334,23 @@
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -371,6 +412,11 @@
+
+
+
+
+
@@ -5600,6 +5646,12 @@
this.disabled = !Number(value);
+
+
+ // TODO : use RequestAnimate and animate()
+
+
+
this.update_state();
}
@@ -6347,6 +6399,8 @@
}
+ // TODO : use RequestAnimate and animate()
+
}