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=0e57b4d78de57965160e67a9802a758649983691;hpb=0df9cdd3df66caf4353128feff3008289cda8115;p=pspp

diff --git a/src/ui/gui/psppire-window.h b/src/ui/gui/psppire-window.h
index 0e57b4d78d..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, 2014  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;
 };
 
 
@@ -121,6 +123,8 @@ GtkWidget *psppire_window_file_chooser_dialog (PsppireWindow *toplevel);
 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
 
 #endif /* __PSPPIRE_WINDOW_H__ */