From 88f0b84c693bbfa2445c3004818545bf53c7b470 Mon Sep 17 00:00:00 2001 From: Denis Fomin Date: Tue, 8 Jan 2013 01:11:53 +0400 Subject: [PATCH] fix clipboard --- src/htmltextview.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/htmltextview.py b/src/htmltextview.py index f76f3a341..46ceeeed8 100644 --- a/src/htmltextview.py +++ b/src/htmltextview.py @@ -900,7 +900,7 @@ class HtmlTextView(Gtk.TextView): def on_html_text_view_copy_clipboard(self, unused_data): clipboard = self.get_clipboard(Gdk.SELECTION_CLIPBOARD) - clipboard.set_text(self.get_selected_text(), len(self.get_selected_text())) + clipboard.set_text(self.get_selected_text(), len(self.get_selected_text()) * 2) self.emit_stop_by_name('copy-clipboard') def on_html_text_view_realized(self, unused_data): @@ -921,7 +921,7 @@ class HtmlTextView(Gtk.TextView): if self.has_screen(): clipboard = self.get_clipboard(Gdk.SELECTION_PRIMARY) text = self.get_selected_text() - clipboard.set_text(text, len(text)) + clipboard.set_text(text, len(text) * 2) def get_selected_text(self): bounds = self.get_buffer().get_selection_bounds()