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 @@ - + @@ -1228,13 +1245,25 @@ + + + + + + + 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;