From 321bb0458668f2885323a614fcf424572269a3fb Mon Sep 17 00:00:00 2001
From: kojima <kojima>
Date: Wed, 20 Feb 2002 23:38:25 +0000
Subject: [PATCH] little change on menus

---
 WindowMaker/menu   | 4 ++--
 WindowMaker/plmenu | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/WindowMaker/menu b/WindowMaker/menu
index f3a85519..e47bd3d6 100644
--- a/WindowMaker/menu
+++ b/WindowMaker/menu
@@ -166,7 +166,7 @@
 		"Search in Manual" SHEXEC MANUAL_SEARCH(%s)
 	"Selection" END
 
-	"Workspace" MENU
+	"Commands" MENU
 		"Hide Others" HIDE_OTHERS
 		"Show All" SHOW_ALL
 		"Arrange Icons" ARRANGE_ICONS
@@ -174,7 +174,7 @@
 		"Lock" EXEC xlock -allowroot -usefirst
 		"Save Session" SAVE_SESSION
 		"Clear Session" CLEAR_SESSION
-	"Workspace" END
+	"Commands" END
 
 	"Appearance" MENU
 		"Themes" OPEN_MENU -noext THEMES_DIR $HOME/GNUstep/Library/WindowMaker/Themes WITH setstyle
diff --git a/WindowMaker/plmenu b/WindowMaker/plmenu
index 015bcfca..a1622080 100644
--- a/WindowMaker/plmenu
+++ b/WindowMaker/plmenu
@@ -56,7 +56,7 @@
   ("Navigate", EXEC, "netscape %s"),
   ("Search in Manual", EXEC, "MANUAL_SEARCH(%s)")
   ),
- ("Workspace",
+ ("Commands",
   ("Hide Others", HIDE_OTHERS),
   ("Show All", SHOW_ALL),
   ("Arrange Icons", ARRANGE_ICONS),
-- 
2.11.4.GIT