equal
deleted
inserted
replaced
10 with "labels"{text *ptr}; |
10 with "labels"{text *ptr}; |
11 with "mandatory","'no'"; |
11 with "mandatory","'no'"; |
12 }; |
12 }; |
13 |
13 |
14 template "svg:*", mode="hmi_elements" { |
14 template "svg:*", mode="hmi_elements" { |
15 const "widget", "func:parselabel(@inkscape:label)/widget"; |
15 const "widget", "func:widget(@id)"; |
16 const "eltid","@id"; |
16 const "eltid","@id"; |
17 | "«@id»": { |
17 | "«@id»": { |
18 | type: "«$widget/@type»", |
18 | type: "«$widget/@type»", |
19 | args: [ |
19 | args: [ |
20 foreach "$widget/arg" |
20 foreach "$widget/arg" |