Skins2: change DTD to add possibility to store ID for Anchors, Panels and Groups.

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.

diff --git a/share/skins2/skin.dtd b/share/skins2/skin.dtd
index 5a7ff145a1d3b81fb431d6df3f1ab01b7276c6be..3faa609981aa0f0ec9410790f081ff7126840c60 100644 (file)
--- a/share/skins2/skin.dtd
+++ b/share/skins2/skin.dtd
@@ -92,12 +92,14 @@
 <!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"
@@ -111,6 +113,7 @@
 <!-- Anchors -->
 <!ELEMENT Anchor EMPTY>
     <!ATTLIST Anchor
+        id          CDATA   "none"
         x           CDATA   "0"
         y           CDATA   "0"
         lefttop     CDATA   "lefttop"