From 8a5a4a2d2354e3fafe882fbce38d07b37034c1ce Mon Sep 17 00:00:00 2001 From: Daniel Dreibrodt Date: Sun, 1 Feb 2009 18:19:48 +0100 Subject: [PATCH] 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. --- share/skins2/skin.dtd | 3 +++ 1 file changed, 3 insertions(+) diff --git a/share/skins2/skin.dtd b/share/skins2/skin.dtd index 5a7ff145a1..3faa609981 100644 --- a/share/skins2/skin.dtd +++ b/share/skins2/skin.dtd @@ -92,12 +92,14 @@