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);
+
+
},