Gnome shell gèle lors des recherches depuis le « dash »

Depuis quelques jours, gnome-shell gèle lorsque j’utilise les recherches depuis le dash. La session n’est pas complètement plantée, c’est juste l’interface de gnome qui ne répond plus dès qu’une ou deux lettres sont tapées dans le champ de recherche.

 

Il s’avère que la solution provisoire à ce problème est d’utiliser le thème par défaut de gnome et non un autre. Je ne sais pas pourquoi, mais en attendant, c’est mieux que rien pour pouvoir utiliser cette fonction qui avec l’habitude devient vite indispensable.

J’utilise gnome 3.2 avec Archlinux mais au vu des discussions dans les forums, plusieurs distributions sont concernées.