X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpsppire-conf.h;h=a7415b2451010b081b0774c9b014c8b205c34613;hb=ec1710dfedad294b9a32838abdbf0967d574aff8;hp=b98c1e65ffd7e0607a8970e060e7162eef951ae9;hpb=c1c6d7c7e942d47f65b112fdd7cdc64361ef2ea4;p=pspp-builds.git

diff --git a/src/ui/gui/psppire-conf.h b/src/ui/gui/psppire-conf.h
index b98c1e65..a7415b24 100644
--- a/src/ui/gui/psppire-conf.h
+++ b/src/ui/gui/psppire-conf.h
@@ -78,17 +78,25 @@ PsppireConf * psppire_conf_new (void);
 gboolean psppire_conf_get_int (PsppireConf *,
 			       const gchar *, const gchar *, int *);
 
+gboolean psppire_conf_get_boolean (PsppireConf *,
+				   const gchar *, const gchar *, gboolean *);
+
 void psppire_conf_set_int (PsppireConf *conf,
 			   const gchar *base, const gchar *name,
 			   gint value);
 
+void psppire_conf_set_boolean (PsppireConf *conf,
+			       const gchar *base, const gchar *name,
+			       gboolean value);
+
+
 void psppire_conf_set_window_geometry (PsppireConf *conf,
 				       const gchar *base,
 				       GtkWindow *window);
 
 void psppire_conf_save_window_geometry (PsppireConf *,
 					const gchar *,
-					GdkEventConfigure *);
+					GdkEvent *);
 
 
 G_END_DECLS