diff options
| author | Dana Jansens <danakj@orodu.net> | 2007-08-03 20:40:13 -0400 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2007-08-03 20:40:13 -0400 |
| commit | 3b4b52921adba74472904b37ec13d9c8d8686a10 (patch) | |
| tree | ed7690ff11bb1e70562d14f885e9f3cd7ff5ede5 /data/rc.xsd | |
| parent | 1ed9988132cb57a94508e20bd50b98b673d576a3 (diff) | |
show a popup notification when switching desktops (also make all the config options export time in milliseconds not half milli half micro)
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 24a0f91f..adafc5f4 100644 --- a/data/rc.xsd +++ b/data/rc.xsd @@ -89,6 +89,7 @@ <xsd:element maxOccurs="unbounded" name="name" type="xsd:string"/> </xsd:complexType> </xsd:element> + <xsd:element minOccurs="0" name="popupTime" type="xsd:integer"/> </xsd:complexType> <xsd:complexType name="resize"> <xsd:element minOccurs="0" name="drawContents" type="ob:bool"/> |