X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Fui%2Fgui%2Fpsppire-data-window.h;h=61ff409ac790e7c1724bc8303304f87708217e99;hb=76762fd5bcdcdf30f45ef7775f7b2a3cad7cc0e0;hp=fa983fabf1129a2303e75f68b6a93a104264c16a;hpb=fd4b99dc5367c6cd8f4ef2d9a151d001676eef7f;p=pspp

diff --git a/src/ui/gui/psppire-data-window.h b/src/ui/gui/psppire-data-window.h
index fa983fabf1..61ff409ac7 100644
--- a/src/ui/gui/psppire-data-window.h
+++ b/src/ui/gui/psppire-data-window.h
@@ -62,6 +62,8 @@ struct _PsppireDataWindow
 {
   PsppireWindow parent;
 
+  gboolean dispose_has_run;
+
   /* <private> */
   PsppireDataEditor *data_editor;
   GtkBuilder *builder;
@@ -88,7 +90,7 @@ struct _PsppireDataWindow
   GtkWidget *mi_insert_case;
   GtkWidget *mi_find;
   GtkWidget *mi_find_separator;
-
+  GtkWidget *mi_options;
 
   GtkWidget *mi_edit_separator ;
   GtkWidget *mi_cut;