# 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