X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpsppire-window.h;h=e4422ecc744f72004df81504498988eeca432716;hb=13ca98079f4cb3cd80deb10b173813548b1f3ddc;hp=7831f53d2776dd8ccfb505ac32949324a1e43c34;hpb=9828d3a39e35f69e6e37159380a6fcbe6bba2f02;p=pspp

diff --git a/src/ui/gui/psppire-window.h b/src/ui/gui/psppire-window.h
index 7831f53d27..e4422ecc74 100644
--- a/src/ui/gui/psppire-window.h
+++ b/src/ui/gui/psppire-window.h
@@ -1,5 +1,5 @@
 /* PSPPIRE - a graphical user interface for PSPP.
-   Copyright (C) 2008, 2009, 2010, 2011, 2013  Free Software Foundation
+   Copyright (C) 2008, 2009, 2010, 2011, 2013, 2014, 2020 Free Software Foundation
 
    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
@@ -68,14 +68,16 @@ struct _PsppireWindow
   gchar *list_name;            /* Name for "Windows" menu list. */
 
   GHashTable *menuitem_table;
-  GtkMenuShell *menu;
 
   guint insert_handler;
   guint remove_handler;
 
   gboolean added_separator;
-  gboolean dirty;
-  GTimeVal savetime;
+
+  /* The time when the contents of the window was last edited subsequent
+     to having been saved, or NULL if it has not been edited since the
+     most recent save.  */
+  GDateTime *edited;
 };
 
 
@@ -91,7 +93,8 @@ struct _PsppireWindowIface
 
   void (*save) (PsppireWindow *w);
   void (*pick_filename) (PsppireWindow *);
-  gboolean (*load) (PsppireWindow *w, const gchar *, gpointer hint);
+  gboolean (*load) (PsppireWindow *w, const gchar *filename,
+                    const gchar *encoding, gpointer hint);
 };
 
 
@@ -112,11 +115,15 @@ gint psppire_window_query_save (PsppireWindow *);
 
 void psppire_window_save (PsppireWindow *w);
 void psppire_window_save_as (PsppireWindow *w);
-gboolean psppire_window_load (PsppireWindow *w, const gchar *file, gpointer hint);
+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);
+void add_most_recent (const char *file_name, const char *mime_type,
+                      const char *encoding);
+
+void read_spv_file (const char *filename);
 
 G_END_DECLS