# HG changeset patch
# User Edouard Tisserant
# Date 1584608246 -3600
# Node ID 30cea13267b4b2953d973a1dea84ff182f92f069
# Parent 6c82fad8be65e75fc71240a2b144286a39da6ae1
SVGHMI: cosmetic changes
diff -r 6c82fad8be65 -r 30cea13267b4 svghmi/detachable_pages.ysl2
--- a/svghmi/detachable_pages.ysl2 Thu Mar 19 09:31:07 2020 +0100
+++ b/svghmi/detachable_pages.ysl2 Thu Mar 19 09:57:26 2020 +0100
@@ -1,18 +1,16 @@
// detachable_pages.ysl2
//
// compute what elements are required by pages
-// and decide where to cut when removing/attaching
+// and decide where to cut when removing/attaching
// pages elements on page switch
-const "hmi_pages_ids", "$parsed_widgets/widget[@type = 'Page']/@id";
-const "hmi_pages", "$hmi_elements[@id = $hmi_pages_ids]";
+const "hmi_pages_descs", "$parsed_widgets/widget[@type = 'Page']";
+const "hmi_pages", "$hmi_elements[@id = $hmi_pages_descs/@id]";
const "default_page" choose {
when "count($hmi_pages) > 1" {
- const "Home_page",
- "$hmi_pages[func:widget(@id)/arg[1]/@value = 'Home']";
choose {
- when "$Home_page" > Home
+ when "$hmi_pages_descs/arg[1]/@value = 'Home'" > Home
otherwise {
error "No Home page defined!";
}
diff -r 6c82fad8be65 -r 30cea13267b4 svghmi/gen_index_xhtml.xslt
--- a/svghmi/gen_index_xhtml.xslt Thu Mar 19 09:31:07 2020 +0100
+++ b/svghmi/gen_index_xhtml.xslt Thu Mar 19 09:57:26 2020 +0100
@@ -242,14 +242,13 @@
-
-
+
+
-
-
+
Home