On 09/02/2012 15:46, Rui Tiago Cação
Matos wrote:
Hi all,On 9 February 2012 15:07, Stefano Ciancio <s ciancio gmail com> wrote:is it possible to get primary selection in an extension?Not yet, see https://bugzilla.gnome.org/show_bug.cgi?id=645019. Rui in gnome 3.6 is it possible to get primary selection in an extension? In python it is simple: clipboard = Gtk.Clipboard.get(Gdk.SELECTION_PRIMARY) In gnome-shell/_javascript_? Thanks Stefano |