diff options
Diffstat (limited to 'menuorg.dtd')
| -rw-r--r-- | menuorg.dtd | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/menuorg.dtd b/menuorg.dtd index 01811ab..d4dfb46 100644 --- a/menuorg.dtd +++ b/menuorg.dtd @@ -19,7 +19,7 @@ $Id$ --> -<!ELEMENT menu ((menu | system | plugin | command | line)+)> +<!ELEMENT menu ((menu | system | plugin | command | separator)+)> <!ATTLIST menu name CDATA #REQUIRED > @@ -39,8 +39,8 @@ execute CDATA #REQUIRED confirm (yes|no) #IMPLIED > -<!ELEMENT line EMPTY> -<!ATTLIST line +<!ELEMENT separator EMPTY> +<!ATTLIST separator title CDATA #IMPLIED > -<!ELEMENT menus ((menu | system | plugin | command | line)+)> +<!ELEMENT menus ((menu | system | plugin | command | separator)+)> |