On 09/02/2012 15:46, Rui Tiago Cação Matos wrote:
On 9 February 2012 15:07, Stefano Ciancio <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
