equal
deleted
inserted
replaced
23 } |
23 } |
24 |
24 |
25 emit "preamble:default-page" { |
25 emit "preamble:default-page" { |
26 | |
26 | |
27 | var default_page = "«$default_page»"; |
27 | var default_page = "«$default_page»"; |
|
28 const "screensaverpage", "$hmi_pages_descs[arg[1]/@value = 'ScreenSaver']"; |
|
29 const "delay" choose { |
|
30 when "$screensaverpage" { |
|
31 const "delaystr", "$screensaverpage/arg[2]/@value"; |
|
32 if "not(regexp:test($delaystr,'^[0-9]+$'))" |
|
33 error > ScreenSaver page has missing or malformed delay argument. |
|
34 value "$delaystr"; |
|
35 } |
|
36 otherwise > null |
|
37 } |
|
38 | var screensaver_delay = «$delay»; |
28 } |
39 } |
29 |
40 |
30 const "keypads_descs", "$parsed_widgets/widget[@type = 'Keypad']"; |
41 const "keypads_descs", "$parsed_widgets/widget[@type = 'Keypad']"; |
31 const "keypads", "$hmi_elements[@id = $keypads_descs/@id]"; |
42 const "keypads", "$hmi_elements[@id = $keypads_descs/@id]"; |
32 |
43 |