svghmi/detachable_pages.ysl2
branchwxPython4
changeset 3657 e0d6f5f0dcc2
parent 3653 d5ff60e906b0
child 3685 570a738239f4
--- a/svghmi/detachable_pages.ysl2	Thu Nov 03 17:43:30 2022 +0100
+++ b/svghmi/detachable_pages.ysl2	Fri Nov 04 17:38:37 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']";