diff options
| author | Dana Jansens <danakj@orodu.net> | 2007-07-10 23:59:17 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2007-07-10 23:59:17 +0000 |
| commit | 0b97b6043c177bc4cb0bc982a84278120f31c58a (patch) | |
| tree | 5ed9f2b45dd940e8fac81d91b31d0f5b2959315a /data/rc.xsd | |
| parent | 976d406529c4ea79adc163793ec73178dbc14101 (diff) | |
user-sepcified margins
Diffstat (limited to 'data/rc.xsd')
| -rw-r--r-- | data/rc.xsd | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/data/rc.xsd b/data/rc.xsd index 89bed98c..debac5bb 100644 --- a/data/rc.xsd +++ b/data/rc.xsd @@ -55,6 +55,15 @@ <xsd:element name="policy" type="ob:placementpolicy"/> <xsd:element name="center" type="ob:bool"/> </xsd:complexType> + <xsd:complexType name="margins"> + <xsd:annotation> + <xsd:documentation>defines desktop margins</xsd:documentation> + </xsd:annotation> + <xsd:element minOccurs="0" name="top" type="xsd:integer"/> + <xsd:element minOccurs="0" name="left" type="xsd:integer"/> + <xsd:element minOccurs="0" name="right" type="xsd:integer"/> + <xsd:element minOccurs="0" name="bottom" type="xsd:integer"/> + </xsd:complexType> <xsd:complexType name="theme"> <xsd:element minOccurs="0" name="name" type="xsd:string"/> <xsd:element minOccurs="0" name="titleLayout" type="xsd:string"/> |
