For those who don't know about how to create extensions and enable them: https://wiki.gnome.org/Projects/GnomeShell/Extensions
Also some pretty good tutorials can be found here: https://developer.gnome.org/gnome-devel-demos/3.10/js.html.en And for some more in-depth documentation: http://www.roojs.com/seed/gir-1.2-gtk-3.0/gjs/index.html
-- Mailing list: https://launchpad.net/~numix Post to : [email protected] Unsubscribe : https://launchpad.net/~numix More help : https://help.launchpad.net/ListHelp
