$OpenBSD: patch-WindowMaker_menu,v 1.2 2001/10/24 13:54:38 wilfried Exp $ --- WindowMaker/menu.orig Tue Jul 25 02:07:44 2000 +++ WindowMaker/menu Wed Oct 24 10:42:14 2001 @@ -205,7 +205,7 @@ "Background" END "Save Theme" SHEXEC getstyle -t $HOME/GNUstep/Library/WindowMaker/Themes/"%a(Theme name,Enter file name:)" "Save IconSet" SHEXEC geticonset $HOME/GNUstep/Library/WindowMaker/IconSets/"%a(IconSet name,Enter file name:)" - "Preferences Utility" EXEC /usr/local/GNUstep/Apps/WPrefs.app/WPrefs + "Preferences Utility" EXEC #wprefsdir#/WPrefs "Appearance" END "Exit" MENU