Update gschema.dtd
authorChristian Persch <chpe@gnome.org>
Sun, 9 Jan 2011 14:03:31 +0000 (15:03 +0100)
committerChristian Persch <chpe@gnome.org>
Sun, 9 Jan 2011 20:45:20 +0000 (21:45 +0100)
Bug #639064.

gio/gschema.dtd

index 218b544..96ff014 100644 (file)
@@ -1,10 +1,12 @@
 <!ELEMENT schemalist (schema|enum)* >
 <!ATTLIST schemalist gettext-domain #IMPLIED >
 
-<!ELEMENT schema (key|child)* >
+<!ELEMENT schema (key|child|override)* >
 <!ATTLIST schema id             CDATA #REQUIRED
                  path           CDATA #IMPLIED
-                 gettext-domain CDATA #IMPLIED >
+                 gettext-domain CDATA #IMPLIED
+                 extends        CDATA #IMPLIED
+                 list-of        CDATA #IMPLIED >
 
 <!-- enumerated and flags types -->
 <!-- each value element maps a nick to a numeric value -->
@@ -64,3 +66,8 @@
 <!ELEMENT child EMPTY >
 <!ATTLIST child name   CDATA #REQUIRED
                 schema CDATA #REQUIRED >
+
+<!ELEMENT override (#PCDATA) >
+<!ATTLIST override name    CDATA #REQUIRED
+                   l10n    CDATA #IMPLIED
+                   context CDATA #IMPLIED >