equal
deleted
inserted
replaced
45 | ], |
45 | ], |
46 | element: id("«@id»"), |
46 | element: id("«@id»"), |
47 apply "$widget", mode="widget_defs" with "hmi_element","."; |
47 apply "$widget", mode="widget_defs" with "hmi_element","."; |
48 apply "$widget", mode="widget_subscribe" with "hmi_element","."; |
48 apply "$widget", mode="widget_subscribe" with "hmi_element","."; |
49 | }`if "position()!=last()" > ,` |
49 | }`if "position()!=last()" > ,` |
|
50 } |
|
51 |
|
52 emit "preamble:hmi-elements" { |
|
53 | var hmi_widgets = { |
|
54 apply "$hmi_elements", mode="hmi_elements"; |
|
55 | } |
50 } |
56 } |
51 |
57 |
52 // default : normal subscribing |
58 // default : normal subscribing |
53 template "widget", mode="widget_subscribe" { |
59 template "widget", mode="widget_subscribe" { |
54 | sub: subscribe, |
60 | sub: subscribe, |