diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 18:30:19 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 18:30:19 +0000 |
| commit | 5c1676dfe6d2f3c837a5e074117b45613fd29a72 (patch) | |
| tree | cbffb45144febf451e54061db2b21395faf94bfe /menus/gtkuimanager.dtd | |
| parent | Initial commit. (diff) | |
| download | gimp-upstream.tar.xz gimp-upstream.zip | |
Adding upstream version 2.10.34.upstream/2.10.34upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'menus/gtkuimanager.dtd')
| -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 > |