X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelper.h;h=377066176f5257528a15db5e6eb715062c93d603;hb=c2ef0c78e3b43419530c7b19d225ed7db54c5228;hp=eb50bdd2648d404f00e57545d9830090431eeaa6;hpb=020c7feaeb2f56ae271c51381798f90c71a7e922;p=pspp

diff --git a/src/ui/gui/helper.h b/src/ui/gui/helper.h
index eb50bdd264..377066176f 100644
--- a/src/ui/gui/helper.h
+++ b/src/ui/gui/helper.h
@@ -67,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