equal
deleted
inserted
replaced
18 error > Display Widget id="«$hmi_element/@id»" is not a svg::text element |
18 error > Display Widget id="«$hmi_element/@id»" is not a svg::text element |
19 |
19 |
20 const "field_initializer" foreach "path" { |
20 const "field_initializer" foreach "path" { |
21 choose{ |
21 choose{ |
22 when "@type='HMI_STRING'" > "" |
22 when "@type='HMI_STRING'" > "" |
23 otherwise 0 |
23 otherwise > 0 |
24 } |
24 } |
25 if "position()!=last()" > , |
25 if "position()!=last()" > , |
26 } |
26 } |
27 | fields: [«$field_initializer»], |
27 | fields: [«$field_initializer»], |
28 } |
28 } |