summaryrefslogtreecommitdiff
path: root/src/gui
diff options
context:
space:
mode:
Diffstat (limited to 'src/gui')
-rw-r--r--src/gui/editor.c5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/gui/editor.c b/src/gui/editor.c
index 11c7f06..7047f32 100644
--- a/src/gui/editor.c
+++ b/src/gui/editor.c
@@ -481,7 +481,10 @@ static void on_destroy_editor(GtkWidget *widget, GObject *ref)
on_focus_out(widget, NULL, ref);
- gtk_main_quit();
+
+ /* Si la boucle principale est bien lancée, on en sort ! */
+ if (gtk_main_level() > 0)
+ gtk_main_quit();
}