diff options
| author | Christian Lohmaier <lohmaier+LibreOffice@googlemail.com> | 2018-09-10 19:05:42 +0200 |
|---|---|---|
| committer | Christian Lohmaier <lohmaier+LibreOffice@googlemail.com> | 2018-09-19 10:58:08 +0200 |
| commit | 3c24038f0e5bbaf40050b46f75915346153bd9d1 (patch) | |
| tree | 3babbc5bb2c6576cb204271d6c32898015b7555e /framework | |
| parent | 17d981d795f18422e1435180d42baeba509c1280 (diff) | |
menu:style="radio" is used since 2010, update dtd to reality
menubar definitions using menu:style="radio" attribute were
introduced with df4017a8fffb448cd2f202ed297754f275ca6be3 / the other
commits of that cws, but the dtd wasn't adjusted accordingly
Change-Id: I7c7e1b8116800ee20cfede431ed90ef8f213cce0
Reviewed-on: https://gerrit.libreoffice.org/60276
Tested-by: Jenkins
Reviewed-by: Christian Lohmaier <lohmaier+LibreOffice@googlemail.com>
Diffstat (limited to 'framework')
| -rw-r--r-- | framework/dtd/menubar.dtd | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/framework/dtd/menubar.dtd b/framework/dtd/menubar.dtd index 12c615cfa374..b41431f6d0ef 100644 --- a/framework/dtd/menubar.dtd +++ b/framework/dtd/menubar.dtd @@ -17,6 +17,8 @@ * the License at http://www.apache.org/licenses/LICENSE-2.0 . --> +<!ENTITY % menustyle "radio"> + <!ELEMENT menu:menubar (menu:menu+)> <!ELEMENT menu:menu (menu:menupopup)> <!ELEMENT menu:menupopup (menu:menuitem | menu:menuseparator | menu:menu)+> @@ -34,4 +36,5 @@ menu:id CDATA #REQUIRED menu:helpid CDATA #IMPLIED menu:label CDATA #IMPLIED + menu:style %menustyle; #IMPLIED > |