mirror of
https://gitlab.gnome.org/GNOME/glib.git
synced 2024-11-09 19:06:15 +01:00
Fix up the gschema.dtd
This DTD wasn't syntactically correct, and didn't actually describe keys correctly. This change makes it a bit too lax, but at least it can be used now. https://bugzilla.gnome.org/show_bug.cgi?id=690538
This commit is contained in:
parent
12ad403a43
commit
a9f363733b
@ -1,5 +1,5 @@
|
||||
<!ELEMENT schemalist (schema|enum)* >
|
||||
<!ATTLIST schemalist gettext-domain #IMPLIED >
|
||||
<!ATTLIST schemalist gettext-domain CDATA #IMPLIED >
|
||||
|
||||
<!ELEMENT schema (key|child|override)* >
|
||||
<!ATTLIST schema id CDATA #REQUIRED
|
||||
@ -19,10 +19,10 @@
|
||||
<!ELEMENT value EMPTY >
|
||||
<!-- nick must be at least 2 characters long -->
|
||||
<!-- value must be parsable as a 32-bit integer -->
|
||||
<!ELEMENT value nick #REQUIRED
|
||||
value #REQUIRED >
|
||||
<!ATTLIST value nick CDATA #REQUIRED
|
||||
value CDATA #REQUIRED >
|
||||
|
||||
<!ELEMENT key (default|summary?|description?|range?|choices?|aliases?) >
|
||||
<!ELEMENT key (default|summary?|description?|range?|choices?|aliases?)* >
|
||||
<!-- name can only contain lowercase letters, numbers and '-' -->
|
||||
<!-- type must be a GVariant type string -->
|
||||
<!-- enum must be the id of an enum type that has been defined earlier -->
|
||||
|
Loading…
Reference in New Issue
Block a user