diff options
Diffstat (limited to 'desktop/wmakerconf/patches/patch-src_menu.c')
-rw-r--r-- | desktop/wmakerconf/patches/patch-src_menu.c | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/desktop/wmakerconf/patches/patch-src_menu.c b/desktop/wmakerconf/patches/patch-src_menu.c new file mode 100644 index 0000000000..99eb03f14b --- /dev/null +++ b/desktop/wmakerconf/patches/patch-src_menu.c @@ -0,0 +1,15 @@ +--- src/menu.c.orig 2004-12-05 04:19:25.000000000 +0100 ++++ src/menu.c 2020-12-19 10:50:15.292392000 +0100 +@@ -500,10 +500,10 @@ + * No return value. + */ + { +- if (!WMWritePropListToFile (orig_wmaker, orig_wmaker_fname, YES)) ++ if (!WMWritePropListToFile(orig_wmaker, orig_wmaker_fname)) + warning (_("Can't revert to backupfile of `WindowMaker'. " + "Please manually revert from file WindowMaker.bak.")); +- if (orig_rootmenu && !WMWritePropListToFile (orig_rootmenu, orig_rootmenu_fname, YES)) ++ if (orig_rootmenu && !WMWritePropListToFile(orig_rootmenu, orig_rootmenu_fname)) + warning (_("Can't revert to backupfile of `WMRootMenu'. " + "Please manually revert from file WMRootMenu.bak.")); + gtk_main_quit (); |