diff options
| author | Mikael Magnusson <mikachu@comhem.se> | 2008-02-03 16:53:33 +0100 |
|---|---|---|
| committer | Mikael Magnusson <mikachu@comhem.se> | 2008-02-04 02:26:00 +0100 |
| commit | 12ca673de556b341588a7f67fb2b9417c1e91d6b (patch) | |
| tree | 7bdeae8b8ea53081d6d3543174a68fb04437ba35 /data/rc.xsd | |
| parent | 6b04ac47e2306b7b37a2f52753a94a7b87515f7a (diff) | |
Add the manageDesktops option.
Diffstat (limited to 'data/rc.xsd')
| -rw-r--r-- | data/rc.xsd | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/data/rc.xsd b/data/rc.xsd index bc8a8fe6..4b7d88d6 100644 --- a/data/rc.xsd +++ b/data/rc.xsd @@ -168,6 +168,7 @@ <xsd:element minOccurs="0" name="middle" type="ob:bool"/> <xsd:element minOccurs="0" name="submenuShowDelay" type="xsd:integer"/> <xsd:element minOccurs="0" name="applicationIcons" type="ob:bool"/> + <xsd:element minOccurs="0" name="manageDesktops" type="ob:bool"/> </xsd:complexType> <xsd:complexType name="window_position"> <xsd:element name="x" type="ob:center_or_int"/> |