diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2018-07-18 10:28:08 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2018-07-18 10:28:08 (GMT) |
commit | d25dda121501e9cc36b43c15c76d1e00d0173f7d (patch) | |
tree | 067b16b039f2f084e2cbad0120265b131ead0057 /src/gui/menus/file.h | |
parent | 3ea00253fa74017ce82bb72d5e11414ab5ee7101 (diff) |
Restored the saving proposal at exit.
Diffstat (limited to 'src/gui/menus/file.h')
-rw-r--r-- | src/gui/menus/file.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/gui/menus/file.h b/src/gui/menus/file.h index f176c7f..630cec3 100644 --- a/src/gui/menus/file.h +++ b/src/gui/menus/file.h @@ -31,7 +31,10 @@ /* Construit le menu "Fichier". */ -GtkWidget *build_menu_file(GObject *); +GtkWidget *build_menu_file(void); + +/* Réagit au menu "Fichier -> Enregistrer le projet". */ +void mcb_file_save_project(GtkMenuItem *, gpointer); |