svghmi/gen_index_xhtml.ysl2
branchsvghmi
changeset 2841 7c6050cde9e3
parent 2840 e588f25e6c74
child 2842 2f73f001955a
equal deleted inserted replaced
2840:e588f25e6c74 2841:7c6050cde9e3
   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             }