J'imagine que je ne suis pas le seul à être gêné par ce bug. Un patch est proposé par Ryan Maki, il est installable à partir de son dépot PPA. Je l'ai installé à l'instant et j'attends de voir 🙂 .
https://bugs.launchpad.net/ubuntu/+source/gnome-panel/+bug/44082/comments/90
I've ported the patch from Gnome Bug 314235 forward to the latest jaunty version 2.26.0-ubuntu7 of gnome-panel. Attached is the patch file already in quilt format. I've also applied this patch and built gnome-panel to my PPA for testing. Brave souls can try the patched version of the panel and report back to me their experiences.
