7 Commits

Author	SHA1	Message	Date
Jasper St. Pierre	44e2f7f555	gnome-shell-extension-tool: Add facilities to enable/disable extensions ... https://bugzilla.gnome.org/show_bug.cgi?id=661815	2011-10-20 17:38:48 -04:00
Jasper St. Pierre	e63c2da433	gnome-shell-extension-tool: Use xdg-open ... gnome-open is deprecated	2011-10-20 15:39:14 -04:00
Jasper St. Pierre	38c768fdb3	gnome-shell-extension-tool: Fix error after creating extension ... Commit 7a8a00c705 cleaned up the code to move all files to a dictionary, which accidentally left an undefined "extensionjs_path" error. Fix that error. https://bugzilla.gnome.org/show_bug.cgi?id=661623	2011-10-20 15:38:02 -04:00
Jasper St. Pierre	2d813cbdd8	extensionSystem: Implement new live enable/disable system ... The rough sketches of the system are outlined here: http://mail.gnome.org/archives/gnome-shell-list/2011-June/msg00283.html Additionally, enable/disable extensions when the 'enabled-extensions' setting changes. Two new DBus methods, "EnableExtension" and "DisableExtension" allow users to manipulate this setting quite easily. https://bugzilla.gnome.org/show_bug.cgi?id=654770	2011-08-24 13:58:22 -04:00
Jasper St. Pierre	7a8a00c705	extension-tool: Clean up code creator, update sample ... Update the sample to be more up to date with respect to Shell practices, and make it look a bit prettier. Additionally, change the file extract code so that it's easier to update and add new files later. https://bugzilla.gnome.org/show_bug.cgi?id=653206	2011-07-13 15:02:49 -04:00
Jasper St. Pierre	c8d5e0a51c	extension-tool: Use socket.gethostname() instead of an external process ... Minor code cleanup. https://bugzilla.gnome.org/show_bug.cgi?id=653206	2011-07-13 15:02:46 -04:00
Colin Walters	3916b5973d	gnome-shell.in: Move extension creation to gnome-shell-extension-tool ... https://bugzilla.gnome.org/show_bug.cgi?id=642084	2011-03-01 09:49:44 -05:00