gtkuimanager.dtd 1.52 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12
<!-- DTD for GtkUIManager files, copied from the documentation -->

<!ELEMENT ui          (menubar|toolbar|popup|accelerator)* >
<!ELEMENT menubar     (menuitem|separator|placeholder|menu)* >
<!ELEMENT menu        (menuitem|separator|placeholder|menu)* >
<!ELEMENT popup       (menuitem|separator|placeholder|menu)* >
<!ELEMENT toolbar     (toolitem|separator|placeholder)* >
<!ELEMENT placeholder (menuitem|toolitem|separator|placeholder|menu)* >
<!ELEMENT menuitem     EMPTY >
<!ELEMENT toolitem     EMPTY >
<!ELEMENT separator    EMPTY >
<!ELEMENT accelerator  EMPTY >
13 14 15 16 17 18 19 20
<!ATTLIST menubar      name         CDATA #IMPLIED
                       action       CDATA #IMPLIED >
<!ATTLIST toolbar      name         CDATA #IMPLIED
                       action       CDATA #IMPLIED >
<!ATTLIST popup        name         CDATA #IMPLIED
                       action       CDATA #IMPLIED >
<!ATTLIST placeholder  name         CDATA #IMPLIED
                       action       CDATA #IMPLIED >
21 22 23 24 25 26 27 28 29 30 31
<!ATTLIST menu         name         CDATA #IMPLIED
                       action       CDATA #REQUIRED
                       position (top|bot) #IMPLIED >
<!ATTLIST menuitem     name         CDATA #IMPLIED
                       action       CDATA #REQUIRED
                       position (top|bot) #IMPLIED >
<!ATTLIST toolitem     name         CDATA #IMPLIED
                       action       CDATA #REQUIRED
                       position (top|bot) #IMPLIED >
<!ATTLIST accelerator  name         CDATA #IMPLIED
                       action       CDATA #REQUIRED >