A Ferramenta de pesquisa do Gnome pode ser sua melhor solução, instalável clicando em este link . Você também pode gostar de Sinapse .
Estou executando o Ubuntu 13.10, mas com o Gnome Fallback Environment. Lembro-me de ver alguém sendo capaz de pressionar a guia e de ter uma função de pesquisa "resultados conforme você digita". Como faço isso no Gnome Fallback?