Re: Documentation for gnome-shell's Extension API

2014-05-14 Thread Emmanuele Bassi
hi; On 13 May 2014 16:17, Jon Kristensen wrote: > On Thu, 2014-05-08 at 14:38 +0100, Emmanuele Bassi wrote: >> > Also, on my Fedora 20 box, I have a bunch of JavaScript files >> > in /usr/share/gnome-shell/js that I can look through. However, on an >> > Arch Linux installation of mine (running GN

Re: Documentation for gnome-shell's Extension API

2014-05-13 Thread Jon Kristensen
On Thu, 2014-05-08 at 14:38 +0100, Emmanuele Bassi wrote: > > Also, on my Fedora 20 box, I have a bunch of JavaScript files > > in /usr/share/gnome-shell/js that I can look through. However, on an > > Arch Linux installation of mine (running GNOME 3.12), this directory > > doesn't exist. > > they

Re: Documentation for gnome-shell's Extension API

2014-05-08 Thread Emmanuele Bassi
hi; On 8 May 2014 14:33, Jon Kristensen wrote: > Another API question... This time about gnome-shell extensions. > > I'm looking for an accessible way to access an up-to-date JavaScript API > for gnome-shell extensions development. Is there a web API or something > similar available somewhere?