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

Fix pasting issues

This commit is contained in:
Romain Failliot 2016-07-04 22:09:44 -04:00
parent 155affe741
commit 61131837d3
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/usr/bin/diffuse
View File

@ -4795,7 +4795,7 @@ class FileDiffViewer(gtk.Table):
if self.mode == CHAR_MODE and f == self.current_pane: if self.mode == CHAR_MODE and f == self.current_pane:
self.button_press(f, x, y, False) self.button_press(f, x, y, False)
self.openUndoBlock() self.openUndoBlock()
gtk.clipboard_get(gtk.gdk.SELECTION_PRIMARY).request_text(self.receive_clipboard_text_cb) gtk.clipboard_get(gtk.gdk.SELECTION_PRIMARY).request_text(self.receive_clipboard_text_cb, None)
self.closeUndoBlock() self.closeUndoBlock()
elif event.button == 3: elif event.button == 3:
# right mouse button, raise context sensitive menu # right mouse button, raise context sensitive menu
@ -5925,7 +5925,7 @@ class FileDiffViewer(gtk.Table):
# 'paste' action # 'paste' action
def paste(self): def paste(self):
gtk.clipboard_get(gtk.gdk.SELECTION_CLIPBOARD).request_text(self.receive_clipboard_text_cb) gtk.clipboard_get(gtk.gdk.SELECTION_CLIPBOARD).request_text(self.receive_clipboard_text_cb, None)
# 'clear_edits' action # 'clear_edits' action
def clear_edits(self): def clear_edits(self):