From 42e3587fd51b10e987adfcd289ad8ea4b3f74009 Mon Sep 17 00:00:00 2001 From: TingPing Date: Tue, 4 Jun 2013 07:00:08 -0300 Subject: [PATCH] copy xtext selection to all clipboards --- src/fe-gtk/xtext.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/fe-gtk/xtext.c b/src/fe-gtk/xtext.c index 81805d99..ae29488a 100644 --- a/src/fe-gtk/xtext.c +++ b/src/fe-gtk/xtext.c @@ -71,6 +71,7 @@ #include "fe-gtk.h" #include "xtext.h" #include "fkeys.h" +#include "gtkutil.h" #define charlen(str) g_utf8_skip[*(guchar *)(str)] @@ -2195,8 +2196,8 @@ gtk_xtext_set_clip_owner (GtkWidget * xtext, GdkEventButton * event) if (str) { if (str[0]) - gtk_clipboard_set_text (gtk_widget_get_clipboard (xtext, GDK_SELECTION_CLIPBOARD), - str, len); + gtkutil_copy_to_clipboard (xtext, NULL, str); + free (str); }