equal
deleted
inserted
replaced
107 | |
107 | |
108 | var page_desc = { |
108 | var page_desc = { |
109 apply "$hmi_pages", mode="page_desc"; |
109 apply "$hmi_pages", mode="page_desc"; |
110 | } |
110 | } |
111 |
111 |
|
112 | var keypads = { |
|
113 foreach "$keypads_descs"{ |
|
114 const "keypad_id","@id"; |
|
115 foreach "arg"{ |
|
116 | "«@value»":"«$keypad_id»", |
|
117 } |
|
118 } |
|
119 | } |
|
120 |
|
121 |
112 | |
122 | |
113 | var default_page = "«$default_page»"; |
123 | var default_page = "«$default_page»"; |
114 | var svg_root = id("«/svg:svg/@id»"); |
124 | var svg_root = id("«/svg:svg/@id»"); |
115 include text svghmi.js |
125 include text svghmi.js |
116 } |
126 } |