Acabei de instalar o GNOME Shell no Ubuntu 11.10. Brinquei um pouco com algumas extensões do GNOME Shell, e agora, de repente, a caixa de pesquisa no menu principal não funciona corretamente.
Quando procuro por um aplicativo ou arquivo, o aplicativo ou arquivo correspondente não é exibido.
Eu removi todas as extensões, mas nada mudou. Eu mesmo reinstalei o próprio GNOME Shell, mas em vão.
O que devo fazer?