X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.h;h=f7660dc43b8332f674e664202dfe76fdc198e418;hb=44bce70de3a7d3c2787d0d5cb0b452b5191b38fd;hp=671bb8edf633649aa63e07843f1103da8369d995;hpb=cef154921f6cdc07bc76edbe720036ab4c32bff8;p=pspp-builds.git

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index 671bb8ed..f7660dc4 100644
--- a/src/ui/gui/helper.h
+++ b/src/ui/gui/helper.h
@@ -29,7 +29,7 @@
 
 #include "gl/configmake.h"
 
-void paste_syntax_in_new_window (const gchar *syntax);
+gchar *paste_syntax_to_window (gchar *syntax);
 
 struct fmt_spec;
 
@@ -54,8 +54,6 @@ gchar * convert_glib_filename_to_system_filename (const gchar *fname,
 
 void connect_help (GtkBuilder *);
 
-void reference_manual (GtkMenuItem *, gpointer);
-
 #define builder_new(NAME) builder_new_real (relocate (PKGDATADIR "/" NAME))
 
 GtkBuilder *builder_new_real (const gchar *name);