+void psppire_window_save_as (PsppireWindow *w);
+gboolean psppire_window_load (PsppireWindow *w, const gchar *file,
+ const gchar *encoding, gpointer hint);
+void psppire_window_open (PsppireWindow *de);
+GtkWidget *psppire_window_file_chooser_dialog (PsppireWindow *toplevel);
+
+void add_most_recent (const char *file_name, const char *mime_type,
+ const char *encoding);