From 3a8499143f1cb091dfa90b2239cdbe71bc4dd716 Mon Sep 17 00:00:00 2001 From: dan Date: Fri, 3 Dec 1999 00:25:00 +0000 Subject: [PATCH] Some menu entry beautification --- WindowMaker/menu | 2 +- WindowMaker/plmenu | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/WindowMaker/menu b/WindowMaker/menu index 6bbca4a1..582f25b5 100644 --- a/WindowMaker/menu +++ b/WindowMaker/menu @@ -170,7 +170,7 @@ "Refresh" REFRESH "Lock" EXEC xlock -allowroot -usefirst "Save Session" SAVE_SESSION - "Clear Saved Session" CLEAR_SESSION + "Clear Session" CLEAR_SESSION "Workspace" END "Appearance" MENU diff --git a/WindowMaker/plmenu b/WindowMaker/plmenu index 7c988ef7..e408f88e 100644 --- a/WindowMaker/plmenu +++ b/WindowMaker/plmenu @@ -63,7 +63,7 @@ ("Refresh", REFRESH), ("Lock", EXEC, "xlock -allowroot -usefirst"), ("Save Session", SAVE_SESSION), - ("Clear Saved Session", CLEAR_SESSION) + ("Clear Session", CLEAR_SESSION) ), ("Appearance", ("Themes", OPEN_MENU, "-noext #wmdatadir#/Themes $HOME/GNUstep/Library/WindowMaker/Themes WITH setstyle"), -- 2.11.4.GIT