biox/Gnome-Shell-Window-Buttons-Extension — pull request #13 by mathematicalcoffee (2012-07-25 03:48:42+00:00)
Title: Gnome3.4/extensions.gnome.org compatibility: local schema file

Hi,

A follow on from @barravi's pull request (https://github.com/biox/Gnome-Shell-Window-Buttons-Extension/pull/10).

This one incorporates the changes from that thread (@tiper, @barravi), and additionally:

* add gnome-shell-extension-prefs support (so that users can configure using gnome-shell-extension-prefs from the command line, or from the extensions.gnome.org website)
* changed the schema file from needing to be globally installed, to being locally installed (that's what convenience.js is for: convenience functions to load the settings from [extension_dir]/schemas.
* added a Makefile for convenience: 'make zip' will zip up everything such that a user can install the zip on their computer directly (gnome-tweak-tool > extensions > install from zip file), and 'make dev-zip' will make a zip in the format that extensions.gnome.org requires (so that can be uploaded directly to e.g.o).

Basically, with this commit you can do 'make dev-zip' and upload the resulting .zip file to e.g.o - it's all ready to go.

I recommend merging this into a different branch than master so that gnome3.2 folk can still install the gnome 3.2 version; this is gnome 3.4 only.

I'd really love to see this extension on e.g.o, so this is my two cents to help make that happen - I'm happy to help out on that side of things!

(Incidentally, I notice that in the schema file there are 'leftpos' and 'rightpos' settings, but these are not used anywhere in the extension, so I left them out of the gnome-shell-extension-prefs widget for now).