diff -r 8d15c6238e62 -r f7349ca820c9 svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Tue Mar 03 10:58:00 2020 +0100 +++ b/svghmi/gen_index_xhtml.xslt Tue Mar 03 16:29:22 2020 +0100 @@ -261,9 +261,13 @@ - + + + + + @@ -319,7 +323,7 @@ - + //(function(){ @@ -336,18 +340,18 @@

- " + "

": { - type: " + type: "

", - args: [ + args: [ - " + "

" @@ -356,9 +360,9 @@

- ], - - indexes: [ + ], + + indexes: [

@@ -457,15 +461,15 @@ - " + "

": { - widget: hmi_widgets[" + widget: hmi_widgets["

"], - bbox: [ + bbox: [

@@ -475,10 +479,10 @@ ], - widgets: [ + widgets: [ - hmi_widgets[" + hmi_widgets["

"] @@ -487,12 +491,12 @@

- ], - - required_detachables: { + ], + + required_detachables: { - " + "

": detachable_elements["

@@ -503,9 +507,9 @@

- } - - } + } + + } , @@ -1173,6 +1177,7 @@ +

_elt: id("

@@ -1184,13 +1189,13 @@

- frequency: 5, - - dispatch: function(value) { + frequency: 5, + + dispatch: function(value) { - this.element.textContent = String(value); + this.element.textContent = String(value); @@ -1199,12 +1204,12 @@ - }, + }, - frequency: 10, + frequency: 10,

@@ -1212,31 +1217,31 @@ value min max needle range

- dispatch: function(value) { - - this.value_elt.textContent = String(value); - - let [min,max,totallength] = this.range; - - let length = Math.max(0,Math.min(totallength,(Number(value)-min)*totallength/(max-min))); - - let tip = this.range_elt.getPointAtLength(length); - - this.needle_elt.setAttribute('d', "M "+this.origin.x+","+this.origin.y+" "+tip.x+","+tip.y); - - }, - - origin: undefined, - - range: undefined, - - init: function() { - - this.range = [Number(this.min_elt.textContent), Number(this.max_elt.textContent), this.range_elt.getTotalLength()] - - this.origin = this.needle_elt.getPointAtLength(0); - - }, + dispatch: function(value) { + + this.value_elt.textContent = String(value); + + let [min,max,totallength] = this.range; + + let length = Math.max(0,Math.min(totallength,(Number(value)-min)*totallength/(max-min))); + + let tip = this.range_elt.getPointAtLength(length); + + this.needle_elt.setAttribute('d', "M "+this.origin.x+","+this.origin.y+" "+tip.x+","+tip.y); + + }, + + origin: undefined, + + range: undefined, + + init: function() { + + this.range = [Number(this.min_elt.textContent), Number(this.max_elt.textContent), this.range_elt.getTotalLength()] + + this.origin = this.needle_elt.getPointAtLength(0); + + },