# HG changeset patch # User Edouard Tisserant # Date 1583156601 -3600 # Node ID c525b1083653083d4cf4cee2ca39122a4f1b2c2a # Parent dffade5c83d38854c02c4e00721fdf9de58f0d4a SVGHMI: declares pages detachable requirements as an object, to find more efficiently common requirements diff -r dffade5c83d3 -r c525b1083653 svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Mon Mar 02 10:29:41 2020 +0100 +++ b/svghmi/gen_index_xhtml.xslt Mon Mar 02 14:43:21 2020 +0100 @@ -489,10 +489,12 @@ ], - required_detachables: [ + required_detachables: { - detachable_elements[" + " + + ": detachable_elements[" "] @@ -501,7 +503,7 @@ - ] + } } diff -r dffade5c83d3 -r c525b1083653 svghmi/gen_index_xhtml.ysl2 --- a/svghmi/gen_index_xhtml.ysl2 Mon Mar 02 10:29:41 2020 +0100 +++ b/svghmi/gen_index_xhtml.ysl2 Mon Mar 02 14:43:21 2020 +0100 @@ -549,11 +549,11 @@ | hmi_widgets["«.»"]`if "position()!=last()" > ,` } | ], - | required_detachables: [ + | required_detachables: { foreach "$required_detachables" { - | detachable_elements["«@id»"]`if "position()!=last()" > ,` - } - | ] + | "«@id»": detachable_elements["«@id»"]`if "position()!=last()" > ,` + } + | } | }`if "position()!=last()" > ,` } | }