diff -r 94696b3f69fb -r eee5dcd9fc92 svghmi/gen_index_xhtml.xslt
--- a/svghmi/gen_index_xhtml.xslt Thu Feb 27 13:14:24 2020 +0100
+++ b/svghmi/gen_index_xhtml.xslt Fri Feb 28 16:09:21 2020 +0100
@@ -47,6 +47,90 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -139,6 +223,24 @@
+
+ Detachable :
+
+
+
+
+
+
+
+
+ Discardable :
+
+
+
+
+
+
+
@@ -200,39 +302,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
//(function(){
@@ -377,7 +446,7 @@
- ]
+ ],
required_elements: [
@@ -846,11 +915,27 @@
+ // function prepare_svg() {
+
+ // /* set everybody hidden initially for better performance */
+
+ // for(let [elt,elt_parent] in detachable_elements){
+
+ // elt_parent.removeChild(elt)
+
+ // }
+
+ // };
+
+
+
function prepare_svg() {
/* set everybody hidden initially for better performance */
- for(let widget in hmi_widgets){
+ for(let widget_id in hmi_widgets){
+
+ let widget = hmi_widgets[widget_id];
if(widget.element != undefined)
@@ -858,16 +943,6 @@
}
- /*for(let name in page_desc){
-
- if(name != new_desc){
-
- page_desc[name].widget.element.style.display = "none";
-
- }
-
- }*/
-
};