diff -r bc666f020ab3 -r ce6cecdb7320 svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Thu Feb 13 09:41:43 2020 +0100 +++ b/svghmi/gen_index_xhtml.xslt Thu Feb 13 09:43:35 2020 +0100 @@ -386,6 +386,10 @@ }*/ + } catch(err) { + + console.log(err); + } } @@ -434,9 +438,7 @@ } catch(err) { - console.log("Widget initialization error : "+err.message); - - + console.log(err); } @@ -929,19 +931,25 @@ - - - - widget must have a + + + + + + widget must have a + + element + + + + - element - - - - _elt: document.getElementById(" - - "), - + _elt: document.getElementById(" + + "), + + + @@ -1016,18 +1024,26 @@ - frequency: 5, - - - - - value - - + + + + + value + + + + + + + frequency: 5, + + dispatch: function(value) { - this.value_elt.textContent = String(value); - + + this.value_elt.textContent = String(value); + + },