Thread Previous • Date Previous • Date Next • Thread Next |
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
Thread Previous • Date Previous • Date Next • Thread Next |