gnome-shell/js
Philippe Normand 595be5083c overview: Add API to remove search providers
As extensions are now expected to provide a "disable" function,
they need to remove search providers they added. Implement the
removal functionality and add a public removeSearchProvider()
method.

https://bugzilla.gnome.org/show_bug.cgi?id=657548
2011-09-04 13:28:08 +02:00
..
gdm Fix batch import for loginDialog 2011-08-30 13:58:02 +02:00
misc
perf
ui overview: Add API to remove search providers 2011-09-04 13:28:08 +02:00
Makefile.am