show a popup notification when switching desktops (also make all the config options...

[chaz/openbox] / data / rc.xsd

diff --git a/data/rc.xsd b/data/rc.xsd
index 24a0f91f7e1272d5766d822ac22b0150b537af0d..adafc5f498b528bcdbd861e45d254b9a564a1e39 100644 (file)
--- 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"/>