gnome-do ou krunner que é realmente superior, mas não estou a usar o KDE no momento.
O GnomeDo também vem com a interface Docky , que oferece um dock muito legal.
Então, para resumir:
- Se estiver usando o Gnome, uso o gnome-do
- Se estiver usando o KDE, uso o krunner