diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2019-02-03 22:13:40 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2019-02-03 22:20:36 (GMT) |
| commit | 9b35b89fce2499d5352f5323baec53abbf9a4af2 (patch) | |
| tree | 49dde922a235f7d11cc8db63c8e0ac1d26f530e7 /src/gui | |
| parent | 10aa517f3a26dd9e4f96f78e62ba1c87e91c7243 (diff) | |
Fixed various memory leaks.
Diffstat (limited to 'src/gui')
| -rw-r--r-- | src/gui/editor.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/gui/editor.c b/src/gui/editor.c index 205c78f..58dda53 100644 --- a/src/gui/editor.c +++ b/src/gui/editor.c @@ -408,6 +408,8 @@ static void on_destroy_editor(GtkWidget *widget, GObject *ref) on_focus_out(widget, NULL, ref); + /* On évite de mettre à jour un affichage disparu... */ + register_project_change_notification(NULL); /* Si la boucle principale est bien lancée, on en sort ! */ if (gtk_main_level() > 0) |