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"; - - } - - }*/ - };