equal
deleted
inserted
replaced
598 || |
598 || |
599 warning > «@type» widget is used in SVG but widget type is not declared |
599 warning > «@type» widget is used in SVG but widget type is not declared |
600 } |
600 } |
601 |
601 |
602 const "included_ids","$parsed_widgets/widget[not(@type = $excluded_types) and not(@id = $discardable_elements/@id)]/@id"; |
602 const "included_ids","$parsed_widgets/widget[not(@type = $excluded_types) and not(@id = $discardable_elements/@id)]/@id"; |
|
603 const "page_ids","$parsed_widgets/widget[@type = 'Page']/@id"; |
603 const "hmi_widgets","$hmi_elements[@id = $included_ids]"; |
604 const "hmi_widgets","$hmi_elements[@id = $included_ids]"; |
|
605 const "page_widgets","$hmi_elements[@id = $page_ids]"; |
604 const "result_widgets","$result_svg_ns//*[@id = $hmi_widgets/@id]"; |
606 const "result_widgets","$result_svg_ns//*[@id = $hmi_widgets/@id]"; |
605 |
607 |
606 emit "declarations:hmi-elements" { |
608 emit "declarations:hmi-elements" { |
607 | var hmi_widgets = { |
609 | var hmi_widgets = { |
608 apply "$hmi_widgets", mode="hmi_widgets"; |
610 apply "$hmi_widgets | $page_widgets", mode="hmi_widgets"; |
609 | } |
611 | } |
610 | |
612 | |
611 } |
613 } |
612 |
614 |
613 function "defs_by_labels" { |
615 function "defs_by_labels" { |