Unfortunately, that's not quite possible in JavaScript, due to the nature of the "Gdk.SELECTION_PRIMARY" define. It's probably worth it to file a bug for GTK+, saying that the clipboard API isn't easily introspectable.
On Thu, Nov 22, 2012 at 6:33 AM, Stefano Ciancio <s.cian...@gmail.com>wrote: > > On 09/02/2012 15:46, Rui Tiago Cação Matos wrote: > > On 9 February 2012 15:07, Stefano Ciancio <s.cian...@gmail.com> > <s.cian...@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 > > Hi all, > > 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 > > _______________________________________________ > gnome-shell-list mailing list > gnome-shell-list@gnome.org > https://mail.gnome.org/mailman/listinfo/gnome-shell-list > > -- Jasper
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
