summaryrefslogtreecommitdiff
path: root/src/gui
diff options
context:
space:
mode:
Diffstat (limited to 'src/gui')
-rw-r--r--src/gui/editor.c8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/gui/editor.c b/src/gui/editor.c
index 6934869..5034104 100644
--- a/src/gui/editor.c
+++ b/src/gui/editor.c
@@ -421,11 +421,17 @@ GtkWidget *create_editor(void)
static gboolean on_delete_editor(GtkWidget *widget, GdkEvent *event, gpointer data)
{
gboolean result; /* Continuation à retourner */
+ bool skip; /* Saut de la vérification ? */
GStudyProject *project; /* Projet courant */
GtkWidget *dialog; /* Boîte à afficher */
result = FALSE;
+ g_generic_config_get_value(get_main_configuration(), MPK_SKIP_EXIT_MSG, &skip);
+
+ if (skip)
+ goto skip_warning;
+
project = get_current_project();
if (g_study_project_get_filename(project) == NULL)
@@ -461,6 +467,8 @@ static gboolean on_delete_editor(GtkWidget *widget, GdkEvent *event, gpointer da
g_object_unref(G_OBJECT(project));
+ skip_warning:
+
return result;
}