add a char copy into Clipboard(selection="CLIPBOARD")
authorCyrille Giquello <cyrille37@gmail.com>
Tue, 23 Oct 2012 21:23:40 +0000 (23:23 +0200)
committerCyrille Giquello <cyrille37@gmail.com>
Tue, 23 Oct 2012 21:23:40 +0000 (23:23 +0200)
indicator-chars.py

index 50fcee6..d293643 100755 (executable)
@@ -119,6 +119,8 @@ class IndicatorChars:
     def on_char_click(self, widget, char):
         cb = gtk.Clipboard(selection="PRIMARY")
         cb.set_text(char)
+        cb = gtk.Clipboard(selection="CLIPBOARD")
+        cb.set_text(char)
 
     def on_quit(self, widget):
         gtk.main_quit()