Eu tenho dois usuários no meu Ubuntu 13.04. Ambos usam o GNOME Shell 3.8 do PPA. O problema que tenho é que, com um dos meus usuários, a ferramenta de pesquisa do GNOME Shell não funciona bem. Por exemplo, procurar por "libre" não me retornará nenhum pacote do LibreOffice. Com o outro usuário, funciona bem.
Eu tentei reinstalar o LibreOffice, sem alterações. Eu também tentei redefinir o GNOME Shell de acordo com Como faço para redefinir o GNOME para o padrões? também não resultando em alterações.
Alguma ideia?