je vois que personne n'a d'idée sur ce problème, mais j'ai une suggestion: le panel que tu utilises est un portage de l'ancien panel de Gnome 2, adapté à Gnome 3; ce panel souffre peut-être encore de quelques bugs, sachant que son développement ne doit pas être trop prioritaire par rapport à Gnome-shell.
il y a un peu le même problème avec Unity-2D, qui ne s'est pas amélioré au passage à la 12.04 (il manque toujours la fonction essentielle: pouvoir réduire la taille du launcher), alors qu'Unity-3D est en perpétuelle amélioration.
dans ton cas, je soumettrais un rapport de bug, le tout étant de savoir chez qui le soumettre (Ubuntu, qui ne supporte pas les paquets Gnome, ou Gnome, qui n'aime pas la façon dont Ubuntu modifie Gnome).
|