gnome-shell/js
Cosimo Cecchi 9791d15f39 view-selector: filter out disabled search providers
If the added search provider has an appId in the list of the disabled
search providers settings, ignore it.

https://bugzilla.gnome.org/show_bug.cgi?id=687491
2012-11-19 11:45:21 -05:00
..
extensionPrefs extensionPrefs: Remove an extra parameter to set_cell_data_func 2012-10-10 18:21:03 -03:00
gdm main: Add optional keybindingMode parameter to pushModal() 2012-11-17 01:44:22 +01:00
misc NetworkMenu: rework multiple NIC support 2012-11-16 13:52:52 -05:00
perf perf: Update to latest overlay changes 2012-08-20 20:40:01 +02:00
ui view-selector: filter out disabled search providers 2012-11-19 11:45:21 -05:00
Makefile.am ViewSelector: remove the places & devices search provider 2012-09-16 19:02:22 +02:00