diff options
Diffstat (limited to '')
| -rw-r--r-- | menus/gtkuimanager.dtd | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/menus/gtkuimanager.dtd b/menus/gtkuimanager.dtd new file mode 100644 index 0000000..8cadbf5 --- /dev/null +++ b/menus/gtkuimanager.dtd @@ -0,0 +1,31 @@ +<!-- 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 > +<!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 > +<!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 > |