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

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index 3b9f0370..25ff0aa0 100644
--- a/src/ui/gui/helper.h
+++ b/src/ui/gui/helper.h
@@ -20,11 +20,16 @@
 
 #include "relocatable.h"
 
+#include <data/format.h>
 #include <data/value.h>
 
 #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