+
+/* A callback for when the clipboard contents have been received */
+static void
+contents_received_callback (GtkClipboard *clipboard,
+ GtkSelectionData *sd,
+ gpointer data)
+{
+ gchar *c;
+ PsppireSyntaxWindow *syntax_window = data;
+
+ if ( sd->length < 0 )
+ return;
+
+ if ( sd->type != gdk_atom_intern ("UTF8_STRING", FALSE))
+ return;
+
+ c = (gchar *) sd->data;
+
+ gtk_text_buffer_insert_at_cursor (syntax_window->buffer,
+ (gchar *) sd->data,
+ sd->length);
+
+}
+
+void
+on_edit_paste (PsppireSyntaxWindow *sw)
+{
+ GdkDisplay *display = gtk_widget_get_display (GTK_WIDGET (sw));
+ GtkClipboard *clipboard =
+ gtk_clipboard_get_for_display (display, GDK_SELECTION_CLIPBOARD);
+
+ gtk_clipboard_request_contents (clipboard,
+ gdk_atom_intern ("UTF8_STRING", TRUE),
+ contents_received_callback,
+ sw);
+}
+
+