config: support <desktops number=""> update documentation

diff --git a/docs/rc.xml.all b/docs/rc.xml.all
index 26c5b2019aa6ff92e7c32fd410719305a1c7055c..aff736aa9401f63bb2c87748b0d01dfd6800e392 100644 (file)
--- a/docs/rc.xml.all
+++ b/docs/rc.xml.all
@@ -86,7 +86,12 @@
       popupTime defaults to 1000 so could be left out.
       Set to 0 to completely disable the workspace OSD.
     -->
-
+  <desktops>
+    <popupTime>1000</popupTime>
+    <names>
+      <name>Default</name>
+    </names>
+  </desktops>
 
   <!-- Percent based regions based on output usable area, % char is required -->
   <!--