Re: Clipboard and primary selection

2012-11-22 Thread Jasper St. Pierre
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 wrote: > > On 09/02/2012 15:

Re: Clipboard and primary selection

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

Re: Clipboard and primary selection

2012-02-09 Thread Rui Tiago Cação Matos
On 9 February 2012 15:07, Stefano Ciancio wrote: > is it possible to get primary selection in an extension? Not yet, see https://bugzilla.gnome.org/show_bug.cgi?id=645019. Rui ___ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gno

Clipboard and primary selection

2012-02-09 Thread Stefano Ciancio
Hi all, is it possible to get primary selection in an extension? I have tried with: let clipboard = St.Clipboard.get_default() clipboard.get_text(Lang.bind(this, function(clipboard, text) { ... } but this get only clipboard content.