equal
deleted
inserted
replaced
215 */ |
215 */ |
216 |
216 |
217 | var hmi_widgets = { |
217 | var hmi_widgets = { |
218 foreach "$hmi_elements" { |
218 foreach "$hmi_elements" { |
219 const "widget", "func:parselabel(@inkscape:label)/widget"; |
219 const "widget", "func:parselabel(@inkscape:label)/widget"; |
220 | «@id»: { |
220 | "«@id»": { |
221 | type: "«$widget/@type»", |
221 | type: "«$widget/@type»", |
222 | args: [ |
222 | args: [ |
223 foreach "$widget/arg" |
223 foreach "$widget/arg" |
224 | "«@value»"`if "position()!=last()" > ,` |
224 | "«@value»"`if "position()!=last()" > ,` |
225 | ], |
225 | ], |
261 | "«$desc/arg[1]/@value»": { |
261 | "«$desc/arg[1]/@value»": { |
262 | id: "«@id»", |
262 | id: "«@id»", |
263 | bbox: [«$p/@x», «$p/@y», «$p/@w», «$p/@h»], |
263 | bbox: [«$p/@x», «$p/@y», «$p/@w», «$p/@h»], |
264 | widgets: [ |
264 | widgets: [ |
265 foreach "$page_ids" { |
265 foreach "$page_ids" { |
266 | hmi_widgets.«.»`if "position()!=last()" > ,` |
266 | hmi_widgets["«.»"]`if "position()!=last()" > ,` |
267 } |
267 } |
268 | ] |
268 | ] |
269 | }`if "position()!=last()" > ,` |
269 | }`if "position()!=last()" > ,` |
270 } |
270 } |
271 | } |
271 | } |