[gnoduino] Fix also cut command

[Claude Paroz <claudep src gnome org>]

commit 09430e381b47718deb85514afb69429b0ac20b2c
Author: Claude Paroz <claude 2xlibre net>
Date:   Sun Sep 18 15:50:10 2011 +0200

    Fix also cut command

 src/ui.py |    5 +----
 1 files changed, 1 insertions(+), 4 deletions(-)
---
diff --git a/src/ui.py b/src/ui.py
index 4280485..38781a5 100644
--- a/src/ui.py
+++ b/src/ui.py
@@ -418,21 +418,18 @@ def redo(w, data=None):
 def cut(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.cut_clipboard(clipboard, True)
 
 def copy(w, data=None):
 	page = getCurrentPage()
 	b = page.get_data("buffer")
-	display = gtk.gdk.display_manager_get().get_default_display()
 	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_get(gtk.gdk.SELECTION_CLIPBOARD)
 	b.paste_clipboard(clipboard, None, True)