[gnoduino] Bug 658793 - Copy-paste-cut do not work consistently

[Lucian Langa <lucilanga src gnome org>]

commit d8b35d6868826e4963c1312e3817a2c209e6a8d1
Author: Lucian Langa <lucilanga gnome org>
Date:   Mon Sep 12 21:54:49 2011 +0200

    Bug 658793 - Copy-paste-cut do not work consistently

 src/ui.py |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/ui.py b/src/ui.py
index 37f231a..f1351eb 100644
--- a/src/ui.py
+++ b/src/ui.py
@@ -424,14 +424,14 @@ def copy(w, data=None):
 	page = getCurrentPage()
 	b = page.get_data("buffer")
 	display = gtk.gdk.display_manager_get().get_default_display()
-	clipboard = gtk.Clipboard(display, "PRIMARY")
+	clipboard = gtk.clipboard_get(gtk.gdk.SELECTION_CLIPBOARD)
 	b.copy_clipboard(clipboard)
 
 def paste(w, data=None):
 	page = getCurrentPage()
 	b = page.get_data("buffer")
 	display = gtk.gdk.display_manager_get().get_default_display()
-	clipboard = gtk.Clipboard(display, "PRIMARY")
+	clipboard = gtk.clipboard_get(gtk.gdk.SELECTION_CLIPBOARD)
 	b.paste_clipboard(clipboard, None, True)
 
 menus = [