New menu: Edit|Options

[pspp] / src / ui / gui / psppire-data-window.h

diff --git a/src/ui/gui/psppire-data-window.h b/src/ui/gui/psppire-data-window.h
index fa983fabf1129a2303e75f68b6a93a104264c16a..a632c8d1121f946db80a2b410edc3c7241e78c81 100644 (file)
--- a/src/ui/gui/psppire-data-window.h
+++ b/src/ui/gui/psppire-data-window.h
@@ -88,7 +88,7 @@ struct _PsppireDataWindow
   GtkWidget *mi_insert_case;
   GtkWidget *mi_find;
   GtkWidget *mi_find_separator;
-
+  GtkWidget *mi_options;
 
   GtkWidget *mi_edit_separator ;
   GtkWidget *mi_cut;