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>

1 files changed, 3 insertions, 0 deletions

diff --git a/gtk-gui.c b/gtk-gui.c
index 71762f535..a34ac4fb2 100644
--- 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();