Rinma
/
Tough_Crowd
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix clipboard error when selecting text.

This commit is contained in:
Romain Failliot 2016-07-04 21:33:00 -04:00
parent 18328c98c3
commit 70b030acb9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/usr/bin/diffuse
View File

@ -4627,7 +4627,7 @@ class FileDiffViewer(gtk.Table):
def __set_clipboard_text(self, clipboard, s): def __set_clipboard_text(self, clipboard, s):
# remove embedded nulls as the clipboard cannot handle them # 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 # change the current selection in CHAR_MODE
# use extend=True to extend the selection # use extend=True to extend the selection