equal
deleted
inserted
replaced
119 class «@type»Widget extends Widget{ |
119 class «@type»Widget extends Widget{ |
120 /* empty class, as «@type» widget didn't provide any */ |
120 /* empty class, as «@type» widget didn't provide any */ |
121 } |
121 } |
122 || |
122 || |
123 |
123 |
124 const "excluded_types", "str:split('Page Lang List')"; |
124 const "excluded_types", "str:split('Page Lang')"; |
125 const "excluded_ids","$parsed_widgets/widget[not(@type = $excluded_types)]/@id"; |
125 const "excluded_ids","$parsed_widgets/widget[not(@type = $excluded_types)]/@id"; |
126 |
126 |
127 emit "preamble:hmi-elements" { |
127 emit "preamble:hmi-elements" { |
128 | var hmi_widgets = { |
128 | var hmi_widgets = { |
129 apply "$hmi_elements[@id = $excluded_ids]", mode="hmi_widgets"; |
129 apply "$hmi_elements[@id = $excluded_ids]", mode="hmi_widgets"; |