Rewrote the recent file manager stuff

[pspp] / src / ui / gui / psppire.h

diff --git a/src/ui/gui/psppire.h b/src/ui/gui/psppire.h
index 92cd13571ca15bebd63e50adc87eddc385145048..0d990119469f8d89bb2f437ecb75196fb6cae5ff 100644 (file)
--- a/src/ui/gui/psppire.h
+++ b/src/ui/gui/psppire.h
@@ -22,8 +22,11 @@
 struct command_line_processor ;
 extern const struct argp non_option_argp ;
 
+extern GtkRecentManager *the_recent_mgr;
 
 void initialize (struct command_line_processor *, int argc, char **argv);
 void de_initialize (void);
+void psppire_quit (void);
+
 
 #endif /* PSPPIRE_H */