X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.h;h=377066176f5257528a15db5e6eb715062c93d603;hb=db5b7f9dc9c86ae607f8bcbacaf49065b8cdcbae;hp=7ada5b5298fe5bdb660a52995f3a7e4830aa5a76;hpb=4ea6e37d180c9412cbcd39afa48a516522e6dd71;p=pspp

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index 7ada5b5298..377066176f 100644
--- a/src/ui/gui/helper.h
+++ b/src/ui/gui/helper.h
@@ -26,7 +26,6 @@
 #include <gtk/gtk.h>
 #include <glade/glade.h>
 
-
 /*
    GtkRecentChooserMenu was added in 2.10.0
    but it didn't support GtkRecentFilters until
@@ -54,8 +53,7 @@ void connect_help (GladeXML *);
 void reference_manual (GtkMenuItem *, gpointer);
 
 struct getl_interface;
-void execute_syntax (struct getl_interface *sss);
-
+gboolean execute_syntax (struct getl_interface *sss);
 
 #define XML_NEW(FILE) \
    glade_xml_new (relocate(PKGDATADIR "/" FILE), NULL, NULL)
@@ -69,4 +67,8 @@ void marshaller_VOID__INT_INT_INT (GClosure     *closure,
 				   gpointer      marshal_data);
 
 
+/* Create a deep copy of SRC */
+GtkListStore * clone_list_store (const GtkListStore *src);
+
+
 #endif