docs/menu.xml: Add comment about hiding of workspaces menu

diff --git a/docs/menu.xml b/docs/menu.xml
index 94740dd1b4c6c0e9eaf81e80dc2c3eba0ef9963c..87f4ed8256c00e0d6bd605fedb7c2283506bac98 100644 (file)
--- a/docs/menu.xml
+++ b/docs/menu.xml
@@ -18,6 +18,10 @@
   <item label="AlwaysOnTop">
     <action name="ToggleAlwaysOnTop" />
   </item>
+  <!--
+    Any menu with the id "workspaces" will be hidden
+    if there is only a single workspace available.
+  -->
   <menu id="workspaces" label="Workspace">
     <item label="Move left">
       <action name="SendToDesktop" to="left" />