charkins/gnome-shell-extension-notesearch — pull request #7 by towolf (2012-08-17 11:25:56+00:00)
Title: Adapt to shell search API change that made Async search the default

The distinction between synchronous and asynchronous search was removed.

Fixes #6

cf. http://git.gnome.org/browse/gnome-shell/commit/js/ui/search.js?id=333e3803402602770ee52acac902011bdff4d169