3 commits

Author	SHA1	Message	Date
Bastien Nocera	e419ee7d4e	panels: Remove unused X-GNOME-Settings-Panel key	2012-12-11 17:09:04 +01:00
Allan Day	0a7d184df4	search: Use the correct icon ... gnome-icon-theme has an icon specifically for system search settings. https://bugzilla.gnome.org/show_bug.cgi?id=689557	2012-12-04 09:41:38 +01:00
Cosimo Cecchi	7ab2d5073d	search: add a panel to configure search providers ... The panel lists all the search providers registered on the system, and allows to reoder or disable them, or disable the search providers feature entirely. The panel will also allow configuration, for which a first implementation will be added in a separate commit. https://live.gnome.org/Design/SystemSettings/Search https://bugzilla.gnome.org/show_bug.cgi?id=687490	2012-11-27 12:33:00 +01:00