X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.h;h=f5e0f5b00f766afaa10e96eef317fb4cf0def1f9;hb=8f157150f5fe225224e407161fb7f899d34b8b18;hp=3d8d6420b1b8ec307bea4b3e8a6b0bdc81e6def2;hpb=bc02bc027697df3207f827de722c26d8cc87e824;p=pspp-builds.git

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index 3d8d6420..f5e0f5b0 100644
--- a/src/ui/gui/helper.h
+++ b/src/ui/gui/helper.h
@@ -41,4 +41,12 @@ GtkWidget * get_widget_assert (GladeXML *xml, const gchar *name);
 char * pspp_locale_to_utf8 (const gchar *text, gssize len, GError **err);
 
 
+void connect_help (GladeXML *);
+
+void reference_manual (GtkMenuItem *, gpointer);
+
+struct getl_interface;
+void execute_syntax (struct getl_interface *sss);
+
+
 #endif