Diff

Differences From Artifact [29b3ce572b]:

To Artifact [d909f537eb]:


1225
1226
1227
1228
1229
1230
1231
1232

1233
1234
1235
1236
1237
1238
1239
1225
1226
1227
1228
1229
1230
1231

1232
1233
1234
1235
1236
1237
1238
1239







-
+







    gtk_selection_convert(inst->area, GDK_SELECTION_PRIMARY,
			  GDK_SELECTION_TYPE_STRING, GDK_CURRENT_TIME);
}

gint idle_paste_func(gpointer data);   /* forward ref */

void selection_received(GtkWidget *widget, GtkSelectionData *seldata,
			gpointer data)
			guint time, gpointer data)
{
    struct gui_data *inst = (struct gui_data *)data;

    if (seldata->length <= 0 ||
	seldata->type != GDK_SELECTION_TYPE_STRING)
	return;			       /* Nothing happens. */