diff options
| author | Teus Benschop <teusjannette@gmail.com> | 2018-10-28 06:50:26 +0100 |
|---|---|---|
| committer | Daniel Glassey <wdg@debian.org> | 2018-11-13 10:31:54 +0700 |
| commit | 4a4a51adf5fa59afc8e1df9649a525336a08b7da (patch) | |
| tree | dbbb9db5233216cecc280ba78cfb711e0ac618ab | |
| parent | 01ac1bc08e3d65f22fa6ac4844e6807d7df25c73 (diff) | |
patch source for webkit2
Gbp-Pq: Name 0015-patch-source-for-webkit2.patch
| -rw-r--r-- | src/gnome2/main_menu.c | 4 |
1 files 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 (); } |