From 70b030acb9dfbb3558d3a229384ae28d36617561 Mon Sep 17 00:00:00 2001 From: Romain Failliot Date: Mon, 4 Jul 2016 21:33:00 -0400 Subject: [PATCH] Fix clipboard error when selecting text. --- src/usr/bin/diffuse | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/usr/bin/diffuse b/src/usr/bin/diffuse index 9f1ff52..478ad14 100755 --- a/src/usr/bin/diffuse +++ b/src/usr/bin/diffuse @@ -4627,7 +4627,7 @@ class FileDiffViewer(gtk.Table): def __set_clipboard_text(self, clipboard, s): # remove embedded nulls as the clipboard cannot handle them - gtk.clipboard_get(clipboard).set_text(s.replace('\0', '')) + gtk.clipboard_get(clipboard).set_text(s.replace('\0', ''), -1) # change the current selection in CHAR_MODE # use extend=True to extend the selection