X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.c;h=492797dbbad8885b405a866329fd5d94982295b0;hb=933040005343d87414f14c48c90dfaa92110dc0a;hp=e6f7c672b0ab7b59d41d8cbe7bc9af19036f3139;hpb=5d1e3437ae5fe29a75c984b9d24b77120a56deb4;p=pspp

diff --git a/src/ui/gui/helper.c b/src/ui/gui/helper.c
index e6f7c672b0..492797dbba 100644
--- a/src/ui/gui/helper.c
+++ b/src/ui/gui/helper.c
@@ -286,7 +286,7 @@ on_delete (GtkWindow *window, GdkEvent *e, GtkWindow **addr)
 }
 
 void
-paste_syntax_in_new_window (const gchar *syntax)
+paste_syntax_to_window (const gchar *syntax)
 {
   static GtkWidget *the_syntax_pasteboard = NULL;