Preguntaba Pere el otro día si tengo instalado Gnome Do y hoy lo he visto mencionado en otra parte. La verdad es que yo me apaño más que bien con la Deskbar que viene por defecto en Ubuntu, es tán versátil que puedes convertirla en un lanzador completo sin necesidad de instalar software adicional.