{
PsppireWindow parent;
+ gboolean dispose_has_run;
+
/* <private> */
PsppireDataEditor *data_editor;
GtkBuilder *builder;
GtkWidget *mi_insert_case;
GtkWidget *mi_find;
GtkWidget *mi_find_separator;
-
+ GtkWidget *mi_options;
GtkWidget *mi_edit_separator ;
GtkWidget *mi_cut;