| changeset 3386 | 608f48ad3dfc |
| parent 3352 | 3a138ccdfafa |
| child 3556 | 5d73bed497de |
| 3385:18621ce81f5f | 3386:608f48ad3dfc |
|---|---|
20 } |
20 } |
21 |
21 |
22 widget_defs("List") { |
22 widget_defs("List") { |
23 | items: { |
23 | items: { |
24 foreach "$hmi_element/*[@inkscape:label]" { |
24 foreach "$hmi_element/*[@inkscape:label]" { |
25 | «@inkscape:label»: "«@id»", |
25 | "«@inkscape:label»": "«@id»", |
26 } |
26 } |
27 | }, |
27 | }, |
28 } |
28 } |
29 |
29 |