equal
deleted
inserted
replaced
216 | widgets: [ |
216 | widgets: [ |
217 const "page", "."; |
217 const "page", "."; |
218 const "p", "$hmi_geometry[@Id = $page/@id]"; |
218 const "p", "$hmi_geometry[@Id = $page/@id]"; |
219 foreach """$hmi_geometry[@Id != $page/@id and |
219 foreach """$hmi_geometry[@Id != $page/@id and |
220 @x >= $p/@x and @y >= $p/@y and |
220 @x >= $p/@x and @y >= $p/@y and |
221 @w <= $p/@w and @h <= $p/@h]""" { |
221 @x+@w <= $p/@x+$p/@w and @y+@h <= $p/@y+$p/@h]""" { |
222 | "«@Id»"`if "position()!=last()" > ,` |
222 | "«@Id»"`if "position()!=last()" > ,` |
223 } |
223 } |
224 | ] |
224 | ] |
225 } |
225 } |
226 | } |
226 | } |