equal
deleted
inserted
replaced
148 | [hmi_widgets["«@id»"], [«$widget_paths_relativeness»]]`if "position()!=last()" > ,` |
148 | [hmi_widgets["«@id»"], [«$widget_paths_relativeness»]]`if "position()!=last()" > ,` |
149 } |
149 } |
150 | ], |
150 | ], |
151 | jumps: [ |
151 | jumps: [ |
152 foreach "$parsed_widgets/widget[@id = $all_page_widgets/@id and @type='Jump']" { |
152 foreach "$parsed_widgets/widget[@id = $all_page_widgets/@id and @type='Jump']" { |
153 const "_id","@id"; |
|
154 const "opts" call "jump_widget_activity" with "hmi_element", "$hmi_elements[@id=$_id]"; |
|
155 if "string-length($opts)>0" |
|
156 | hmi_widgets["«@id»"]`if "position()!=last()" > ,` |
153 | hmi_widgets["«@id»"]`if "position()!=last()" > ,` |
157 } |
154 } |
158 | ], |
155 | ], |
159 | required_detachables: { |
156 | required_detachables: { |
160 foreach "$required_detachables" { |
157 foreach "$required_detachables" { |