equal
deleted
inserted
replaced
26 choose { |
26 choose { |
27 when "not(@index)" { |
27 when "not(@index)" { |
28 warning > Widget «$widget/@type» id="«$eltid»" : No match for path "«@value»" in HMI tree |
28 warning > Widget «$widget/@type» id="«$eltid»" : No match for path "«@value»" in HMI tree |
29 } |
29 } |
30 otherwise { |
30 otherwise { |
31 | «@index»`if "position()!=last()" > ,` |
31 | «@index» /*«$widget/path»*/ `if "position()!=last()" > ,` |
32 } |
32 } |
33 } |
33 } |
34 } |
34 } |
35 | ], |
35 | ], |
36 | element: id("«@id»"), |
36 | element: id("«@id»"), |