equal
deleted
inserted
replaced
333 } |
333 } |
334 |
334 |
335 template "widget[@type='DropDown']", mode="widget_defs" { |
335 template "widget[@type='DropDown']", mode="widget_defs" { |
336 param "hmi_element"; |
336 param "hmi_element"; |
337 labels("text box button highlight"); |
337 labels("text box button highlight"); |
|
338 // It is assumed that list content conforms to Array interface. |
338 || |
339 || |
339 // It is assumed that list content conforms to Array interface. |
|
340 content: [ |
340 content: [ |
|
341 /* TODO : Support HMI:List */ |
341 ``foreach "arg" | "«@value»", |
342 ``foreach "arg" | "«@value»", |
342 ], |
343 ], |
343 |
344 |
344 || |
345 || |
345 } |
346 } |