branch | svghmi |
changeset 2841 | 7c6050cde9e3 |
parent 2840 | e588f25e6c74 |
child 2842 | 2f73f001955a |
--- a/svghmi/gen_index_xhtml.ysl2 Fri Feb 21 16:15:33 2020 +0100 +++ b/svghmi/gen_index_xhtml.ysl2 Fri Feb 21 16:18:53 2020 +0100 @@ -299,7 +299,7 @@ const "page_sub_ids", "func:refered_elements($page)[@id = $hmi_elements/@id]/@id"; const "all_page_ids","$page_ids | $page_sub_ids[not(. = $page_ids)]"; | "«$desc/arg[1]/@value»": { - | id: "«@id»", + | widget: hmi_widgets["«@id»"], | bbox: [«$p/@x», «$p/@y», «$p/@w», «$p/@h»], | widgets: [ foreach "$all_page_ids" {