diff -r 440183be80a2 -r eac5832a1489 svghmi/gen_index_xhtml.xslt
--- a/svghmi/gen_index_xhtml.xslt Tue Jan 18 10:57:11 2022 +0100
+++ b/svghmi/gen_index_xhtml.xslt Tue Jan 18 10:57:43 2022 +0100
@@ -175,14 +175,26 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -194,6 +206,11 @@
+
+
+
+
+
@@ -998,7 +1015,7 @@
-
+
+
+
+
+
+
+
+ undefined
+
+
+
"
": new
Widget ("
- ",[
+ ",
+
+ ,[
],[
@@ -1424,12 +1453,14 @@
- constructor(elt_id,args,indexes,minmaxes,members){
+ constructor(elt_id, freq, args, indexes, minmaxes, members){
this.element_id = elt_id;
this.element = id(elt_id);
+ if(freq !== undefined) this.frequency = freq;
+
this.args = args;
this.indexes = indexes;