diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2018-04-21 11:05:24 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2018-04-21 11:05:24 (GMT) |
| commit | 315146a49b5570294ca20beca720c4e3f74a86bd (patch) | |
| tree | 7befa35e60c411e0d7639034516d2f9e473d331e /src/gui/editor.c | |
| parent | d36b8a3939443512c3afb840b4a81026a57582e7 (diff) | |
Handled projects from the command line.
Diffstat (limited to 'src/gui/editor.c')
| -rw-r--r-- | src/gui/editor.c | 5 |
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(); } |