Para usar os temas 3.0 em vez do tema 3.2, basta adicionar algumas linhas no início do arquivo gnome-shell.css na pasta do tema gnome-shell:
.icon-grid {
spacing: 36px;
-shell-grid-item-size: 118px;
}
.contact-grid {
spacing: 36px;
-shell-grid-item-size: 272px; /* 2 * -shell-grid-item-size + spacing */
}
.icon-grid .overview-icon {
icon-size: 96px;
}
Agora você pode usar o mecanismo de pesquisa sem congelamentos.