Skins2: change DTD to add possibility to store ID for Anchors, Panels and Groups.
authorDaniel Dreibrodt <daniel.dreibrodt@googlemail.com>
Sun, 1 Feb 2009 17:19:48 +0000 (18:19 +0100)
committerJean-Baptiste Kempf <jb@videolan.org>
Sun, 1 Feb 2009 17:19:48 +0000 (18:19 +0100)
It adds possibility to store IDs for Anchors, Panels and Groups.
This does not change the way skins2 works I believe. It just stops the
XML parser from complaining about non standard skins when they have set
IDs for those elements. And setting IDs for them is vital in the skin
editor, as it differentiates between different elements in the skin just
by their ID.

share/skins2/skin.dtd

index 5a7ff14..3faa609 100644 (file)
 <!ELEMENT Group (Group|Image|Button|Playlist|Slider|RadialSlider|Text|Checkbox|
                  Anchor|Video|Playtree|Panel)+>
     <!ATTLIST Group
+        id          CDATA   "none"
         x           CDATA   "0"
         y           CDATA   "0"
     >
 <!ELEMENT Panel (Group|Image|Button|Playlist|Slider|RadialSlider|Text|Checkbox|
                  Anchor|Video|Playtree|Panel)+>
     <!ATTLIST Panel
+        id          CDATA   "none"
         x           CDATA   "0"
         y           CDATA   "0"
         lefttop     CDATA   "lefttop"
 <!-- Anchors -->
 <!ELEMENT Anchor EMPTY>
     <!ATTLIST Anchor
+        id          CDATA   "none"
         x           CDATA   "0"
         y           CDATA   "0"
         lefttop     CDATA   "lefttop"