diff -r e3a29c5b74c4 -r d5ff60e906b0 svghmi/detachable_pages.ysl2 --- 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']";