I've just installed GNOME Shell on Ubuntu 11.10. I toyed a little with some GNOME Shell extensions, and now suddenly, the search box in the main menu doesn't work properly.
When I search for an application or a file, the corresponding application or file doesn't show up.
I removed all the extensions but nothing changed. I even reinstalled GNOME Shell itself, but in vain.
What should I do?
