svghmi/detachable_pages.ysl2
changeset 3653 d5ff60e906b0
parent 3622 98ce26040117
child 3685 570a738239f4
--- a/svghmi/detachable_pages.ysl2	Fri Oct 28 10:42:35 2022 +0200
+++ b/svghmi/detachable_pages.ysl2	Fri Nov 04 10:51:45 2022 +0100
@@ -25,6 +25,17 @@
 emit "preamble:default-page" {
     |
     | var default_page = "«$default_page»";
+    const "screensaverpage", "$hmi_pages_descs[arg[1]/@value = 'ScreenSaver']";
+    const "delay" choose {
+        when "$screensaverpage" {
+            const "delaystr", "$screensaverpage/arg[2]/@value";
+            if "not(regexp:test($delaystr,'^[0-9]+$'))"
+                error > ScreenSaver page has missing or malformed delay argument.
+            value "$delaystr";
+        }
+        otherwise > null
+    }
+    | var screensaver_delay = «$delay»;
 }
 
 const "keypads_descs", "$parsed_widgets/widget[@type = 'Keypad']";