# 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()" > ,`
}
| }