From a6d076a14cb971ffa2bb6b4d60cf3cf747cf906f Mon Sep 17 00:00:00 2001
From: Walter Bender <walter@sugarlabs.org>
Date: Tue, 10 Dec 2013 16:35:32 +0000
Subject: Ignacio's patch to fix clipboard support

---
diff --git a/pippy_app.py b/pippy_app.py
index 6a76e0d..f534bde 100644
--- a/pippy_app.py
+++ b/pippy_app.py
@@ -418,11 +418,13 @@ Discard changes?')
 
     def __copybutton_cb(self, button):
         global text_buffer
-        text_buffer.copy_clipboard(Gtk.Clipboard())
+        clipboard = Gtk.Clipboard.get(Gdk.SELECTION_CLIPBOARD)
+        text_buffer.copy_clipboard(clipboard)
 
     def __pastebutton_cb(self, button):
         global text_buffer
-        text_buffer.paste_clipboard(Gtk.Clipboard(), None, True)
+        clipboard = Gtk.Clipboard.get(Gdk.SELECTION_CLIPBOARD)
+        text_buffer.paste_clipboard(clipboard, None, True)
 
     def gobutton_cb(self, button):
         from shutil import copy2
--
cgit v0.9.1