Bonjour, je n'ai pas de solutions à ton problème concernant gnome-panel, cependant j'ai quelques petites propositions concernant les menus, utilisant moi-même Openbox. Pour ce qui est des lancements d'applications j'utilise
dmenu qui est minimaliste et personnalisable. Cependant il se peut qu'il ne convienne pas à tous le monde, auparavant j'utilisais
Gnome-do, qui est assez pratique. Sinon pour la barre des tâches, comme
@gnulux, j'utilise
tint2, qui est personnalisable et me semble être très léger (mais j'en ai une utilisation très simpliste : l'heure, le nom des applications, sans plus ...).
