Eu substituí o terminal padrão do gnome pelo Konsole do KDE. O preço a pagar é o aumento substancial de tamanho na sua instalação devido às bibliotecas do KDE. Este terminal oferece para destacar os resultados da pesquisa e abre a caixa de diálogo "Localizar" como um painel inferior conectado ao terminal, o que evita janelas sobrepostas irritantes.