X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fclipboard.h;h=b7bd5782d041621faf1252daee149e8de2de4e7b;hb=93b405c0e37eb86c0bf019b7fccc8d53aa7e59f2;hp=1cdffe8f7ca9f77e9b1773110a5ac9c3e6cb5383;hpb=afbd9bcace01167e6e2d00031e523aa80e68a4fb;p=pspp-builds.git

diff --git a/src/ui/gui/clipboard.h b/src/ui/gui/clipboard.h
index 1cdffe8f..b7bd5782 100644
--- a/src/ui/gui/clipboard.h
+++ b/src/ui/gui/clipboard.h
@@ -23,6 +23,10 @@
 
 void data_sheet_set_clip (GtkSheet *data_sheet);
 
+void data_sheet_contents_received_callback (GtkClipboard *clipboard,
+					    GtkSelectionData *sd,
+					    gpointer data);
+
 
 #endif /* CLIPBOARD_H */