X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.c;h=a68c0c2b80468de894d8b13780d57b0f43ce21ea;hb=ced729f41f90e56a7c8ec12f6497f61c9b73b779;hp=1ad77bc96ebf0190a633ca02b70179970980e3fb;hpb=3da49359c52cb783db907cc197847bbd5e721c97;p=pspp

diff --git a/src/ui/gui/helper.c b/src/ui/gui/helper.c
index 1ad77bc96e..a68c0c2b80 100644
--- a/src/ui/gui/helper.c
+++ b/src/ui/gui/helper.c
@@ -282,8 +282,8 @@ on_delete (GtkWindow *window, GdkEvent *e, GtkWindow **addr)
   return FALSE;
 }
 
-void
-paste_syntax_to_window (const gchar *syntax)
+char *
+paste_syntax_to_window (gchar *syntax)
 {
   static GtkWidget *the_syntax_pasteboard = NULL;
 
@@ -304,6 +304,8 @@ paste_syntax_to_window (const gchar *syntax)
   gtk_text_buffer_end_user_action (buffer);
 
   gtk_widget_show (the_syntax_pasteboard);
+
+  return syntax;
 }