X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpsppire-data-editor.h;h=a5152bb759cbb2ea47fc362b1cc5d1321d45a0fc;hb=8a6611e7e3bbba8be61cd35f8701f50d6e255e44;hp=941d7a4997a83b3ee75a3f8367c1962a4558410d;hpb=17339b8ef2b6c9c403ceccb9f0ab534a943f92e1;p=pspp

diff --git a/src/ui/gui/psppire-data-editor.h b/src/ui/gui/psppire-data-editor.h
index 941d7a4997..a5152bb759 100644
--- a/src/ui/gui/psppire-data-editor.h
+++ b/src/ui/gui/psppire-data-editor.h
@@ -51,6 +51,8 @@ struct _PsppireDataEditor
 {
   GtkNotebook parent;
 
+  gboolean dispose_has_run;
+
   /* <private> */
   PsppireDataStore *data_store;
   PsppireDict *dict;
@@ -80,7 +82,7 @@ GType          psppire_data_editor_get_type        (void);
 GtkWidget*     psppire_data_editor_new             (PsppireDict *, PsppireDataStore *);
 void           psppire_data_editor_show_grid       (PsppireDataEditor *, gboolean);
 void           psppire_data_editor_set_font        (PsppireDataEditor *, PangoFontDescription *);
-void           psppire_data_editor_split_window    (PsppireDataEditor *, gboolean );
+void           psppire_data_editor_split_window    (PsppireDataEditor *, gboolean);
 
 void psppire_data_editor_goto_variable               (PsppireDataEditor *, gint dict_index);
 void psppire_data_editor_data_delete_variables       (PsppireDataEditor *de);