relaxng/menu.rnc

   1 start =
   2 element menu
   3 {
   4   element name { text },
   5
   6   element widgets
   7     {
   8       widget_i*
   9     },
  10   element script
  11     {
  12       element event { text },
  13       element script { text }
  14     }*
  15 }
  16
  17 widget_i = element widget
  18 {
  19   element name { text },
  20   element parent { text },
  21   element type { text },
  22
  23   element xpos { text, attribute presentation { text } },
  24   element ypos { text, attribute presentation { text } },
  25   element width { text, attribute presentation { text } },
  26   element height { text, attribute presentation { text } },
  27
  28   element caption { text }?
  29 }