Jasper St. Pierre b8a54faf94 Add a new tool, 'gnome-shell-extension-prefs', which can configure extensions
A new tool, 'gnome-shell-extension-prefs' can load a new entry point from
extensions, 'prefs.js', which has an entry point to return a GTK+ widget.
This allows extensions to have their own preferences dialog, without each
extension needing to ship its own Python script and .desktop file.

https://bugzilla.gnome.org/show_bug.cgi?id=668429
2012-02-07 16:00:37 -05:00
..
2012-01-25 19:03:13 -05:00
2012-02-06 23:36:43 +00:00
2012-01-25 19:03:13 -05:00
2011-12-15 16:13:29 -05:00
2012-01-25 19:03:01 -05:00
2012-01-25 19:03:13 -05:00
2011-11-07 15:24:59 -05:00
2011-11-07 15:24:59 -05:00
2011-11-07 15:24:59 -05:00
2010-03-11 15:08:48 -05:00
2010-02-22 19:37:49 -05:00
2012-01-25 19:03:48 -05:00
2011-12-15 16:13:29 -05:00