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