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>
void on_destroy(GtkWidget* w, gpointer data)
{
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();
if (unsaved_changes())
ask_save_changes();
gtk_main_quit();