X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.h;h=d388ccb41821b132afaf5670647ea3dd961a0cd4;hb=8953baa61127d6d3b91f763663ea647bf3e4e793;hp=d08a17526bc59e6389d3d1ac996c1711238a7728;hpb=dff7c7a05e6da0de78544fa97c6882bd4a40d977;p=pspp-builds.git

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index d08a1752..d388ccb4 100644
--- a/src/ui/gui/helper.h
+++ b/src/ui/gui/helper.h
@@ -26,6 +26,10 @@
 #include <gtk/gtk.h>
 #include <glade/glade.h>
 
+
+
+void paste_syntax_in_new_window (const gchar *syntax);
+
 /*
    GtkRecentChooserMenu was added in 2.10.0
    but it didn't support GtkRecentFilters until