equal
deleted
inserted
replaced
297 @x >= $p/@x and @y >= $p/@y and |
297 @x >= $p/@x and @y >= $p/@y and |
298 @x+@w <= $p/@x+$p/@w and @y+@h <= $p/@y+$p/@h]/@Id"""; |
298 @x+@w <= $p/@x+$p/@w and @y+@h <= $p/@y+$p/@h]/@Id"""; |
299 const "page_sub_ids", "func:refered_elements($page)[@id = $hmi_elements/@id]/@id"; |
299 const "page_sub_ids", "func:refered_elements($page)[@id = $hmi_elements/@id]/@id"; |
300 const "all_page_ids","$page_ids | $page_sub_ids[not(. = $page_ids)]"; |
300 const "all_page_ids","$page_ids | $page_sub_ids[not(. = $page_ids)]"; |
301 | "«$desc/arg[1]/@value»": { |
301 | "«$desc/arg[1]/@value»": { |
302 | id: "«@id»", |
302 | widget: hmi_widgets["«@id»"], |
303 | bbox: [«$p/@x», «$p/@y», «$p/@w», «$p/@h»], |
303 | bbox: [«$p/@x», «$p/@y», «$p/@w», «$p/@h»], |
304 | widgets: [ |
304 | widgets: [ |
305 foreach "$all_page_ids" { |
305 foreach "$all_page_ids" { |
306 | hmi_widgets["«.»"]`if "position()!=last()" > ,` |
306 | hmi_widgets["«.»"]`if "position()!=last()" > ,` |
307 } |
307 } |