Re: Clipboard and primary selection

["Jasper St. Pierre" <jstpierre mecheye net>]

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 ciancio gmail com> wrote:

On 09/02/2012 15:46, Rui Tiago Cação Matos wrote:

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

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