From: Teus Benschop Date: Sun, 28 Oct 2018 06:50:26 +0100 Subject: patch source for webkit2 --- src/gnome2/main_menu.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/gnome2/main_menu.c b/src/gnome2/main_menu.c index 0958e8e..ed9c757 100644 --- a/src/gnome2/main_menu.c +++ b/src/gnome2/main_menu.c @@ -555,7 +555,7 @@ on_quit_activate(GtkMenuItem *menuitem, gpointer user_data) #endif /* offer to save all editors remaining open */ - editor_maybe_save_all(); + //editor_maybe_save_all(); shutdown_frontend(); /* shutdown the sword stuff */ @@ -889,7 +889,7 @@ on_module_manager_activate(GtkMenuItem *menuitem, gpointer user_data) G_MODULE_EXPORT void on_open_studypad_activate(GtkMenuItem *menuitem, gpointer user_data) { - editor_create_new(settings.studypadfilename, NULL, FALSE); + //editor_create_new(settings.studypadfilename, NULL, FALSE); //create_window (); }