+GtkWidget* psppire_data_window_new (struct dataset *);
+
+PsppireDataWindow *psppire_default_data_window (void);
+void psppire_data_window_set_default (PsppireDataWindow *);
+void psppire_data_window_undefault (PsppireDataWindow *);
+
+PsppireDataWindow *psppire_data_window_for_dataset (struct dataset *);
+PsppireDataWindow *psppire_data_window_for_data_store (PsppireDataStore *);
+
+bool psppire_data_window_is_empty (PsppireDataWindow *);
+GtkWindow * create_data_window (void);
+void open_data_window (PsppireWindow *victim, const char *file_name,
+ const char *encoding, gpointer hint);