Catch changes to the info of the current dive when quitting

As the application shuts down we do one more check to see if the dive that
is currently being displayed has been modified (we previously just checked
as we switch dives)

Signed-off-by: Dirk Hohndel <dirk@hohndel.org>

diff --git a/gtk-gui.c b/gtk-gui.c
index 71762f5354c9b0b84dcb52c72400bc17178f62ce..a34ac4fb283190bd8771b672c2c183074dfde060 100644 (file)
--- a/gtk-gui.c
+++ b/gtk-gui.c
@@ -163,6 +163,9 @@ static void ask_save_changes()
 
 void on_destroy(GtkWidget* w, gpointer data)
 {
+       /* Make sure to flush any modified dive data */
+       update_dive(NULL);
+
        if (unsaved_changes())
                ask_save_changes();
        gtk_main_quit();