X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.h;h=77abc1d8742214046c794f8ba96fc7694eaa5dce;hb=38f3d1b22ea23d0afb8f0aa32641763f76b4ba93;hp=671bb8edf633649aa63e07843f1103da8369d995;hpb=cef154921f6cdc07bc76edbe720036ab4c32bff8;p=pspp

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index 671bb8edf6..77abc1d874 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);
+void paste_syntax_to_window (const 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);