From 945928a8f69edd99647de81482bf4715aa2384d6 Mon Sep 17 00:00:00 2001
From: Sachin Bhat <sachubhat17@gmail.com>
Date: Sun, 25 Jun 2023 17:18:43 +0800
Subject: [PATCH] config: support <desktops number=""> update documentation

---
 docs/rc.xml.all | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/docs/rc.xml.all b/docs/rc.xml.all
index 26c5b201..aff736aa 100644
--- 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 -->
   <!--