X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.h;fp=src%2Fui%2Fgui%2Fhelper.h;h=25ff0aa00c4cdccd60268efca6321eb4c045f1f2;hb=4c4f035bfad520dc54f0d5a9e30e36d4fb009efc;hp=1a620908309c3f93450dd4b90178ec1ca0001785;hpb=4421e7aa84036f685ddbd406368f273f44f39ef4;p=pspp-builds.git

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index 1a620908..25ff0aa0 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