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
..
search_providers	add ability to search in web from search view	2011-01-18 00:41:59 +03:00
shaders	windowManager: shade the actor, not the texture	2011-09-20 14:56:25 -04:00
theme	theme: Fix highlight of panel buttons	2012-02-07 18:58:59 +01:00
gnome-shell-extension-prefs.desktop.in.in	Add a new tool, 'gnome-shell-extension-prefs', which can configure extensions	2012-02-07 16:00:37 -05:00
gnome-shell-overrides.convert	gsettings: Add migration file for overrides	2012-01-10 19:40:01 +01:00
gnome-shell.desktop.in.in	gnome-shell.desktop: Set autorestart flag	2011-03-21 15:57:49 -04:00
Makefile.am	Add a new tool, 'gnome-shell-extension-prefs', which can configure extensions	2012-02-07 16:00:37 -05:00
org.gnome.shell.gschema.xml.in	ShellRecorder: drop frames to approximate the target framerate	2012-01-31 10:47:19 -05:00