Text input dialog: Use widget-io

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

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index 671bb8edf633649aa63e07843f1103da8369d995..77abc1d8742214046c794f8ba96fc7694eaa5dce 100644 (file)
--- 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);