GtkWidget *mi_insert_case;
GtkWidget *mi_find;
GtkWidget *mi_find_separator;
-
+ GtkWidget *mi_options;
GtkWidget *mi_edit_separator ;
GtkWidget *mi_cut;
bool psppire_data_window_is_empty (PsppireDataWindow *);
GtkWindow * create_data_window (void);
-void open_data_window (PsppireWindow *victim, const char *file_name,
+GtkWindow * open_data_window (PsppireWindow *victim, const char *file_name,
const char *encoding, gpointer hint);
G_END_DECLS