diff -r ed43facc7137 -r d7b009e49e87 svghmi/gen_index_xhtml.xslt
--- a/svghmi/gen_index_xhtml.xslt Thu Aug 27 09:59:35 2020 +0200
+++ b/svghmi/gen_index_xhtml.xslt Thu Aug 27 14:34:00 2020 +0200
@@ -3587,10 +3587,22 @@
+
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -3598,6 +3610,7 @@
+
obj_
@@ -3648,8 +3661,7 @@
");
-
-
+
@@ -3692,7 +3704,7 @@
console.log(range,position,jdata);
-
+