X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fdata-editor.c;h=6e05d27183b254815bc85d99bf751b7997c3fa1f;hb=6882ff1359de0c4812a62e1bfcdfbf8e68474de5;hp=6f279e8f1c7b9121cba66c355cb31f0e3d7c2e54;hpb=025c8c504b302d7ffce6800134df494a4a68a5f5;p=pspp-builds.git

diff --git a/src/ui/gui/data-editor.c b/src/ui/gui/data-editor.c
index 6f279e8f..6e05d271 100644
--- a/src/ui/gui/data-editor.c
+++ b/src/ui/gui/data-editor.c
@@ -1201,6 +1201,7 @@ toggle_value_labels (GtkToggleAction *ta, gpointer data)
 				  gtk_toggle_action_get_active (ta));
 }
 
+extern PsppireDataStore *the_data_store ;
 
 static void
 file_quit (GtkCheckMenuItem *menuitem, gpointer data)
@@ -1208,6 +1209,7 @@ file_quit (GtkCheckMenuItem *menuitem, gpointer data)
   /* FIXME: Need to be more intelligent here.
      Give the user the opportunity to save any unsaved data.
   */
+  g_object_unref (the_data_store);
   gtk_main_quit ();
 }