From 80327691976433ad74d885234f45653ea466d2ee Mon Sep 17 00:00:00 2001
From: Consolatis <35009135+Consolatis@users.noreply.github.com>
Date: Wed, 7 Dec 2022 15:12:53 +0100
Subject: [PATCH] docs/menu.xml: Add comment about hiding of workspaces menu

---
 docs/menu.xml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/menu.xml b/docs/menu.xml
index 94740dd1..87f4ed82 100644
--- 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" />
-- 
2.52.0