Comment 13 for bug 542300

@ Thorsten Reinbold

Perhaps you're right. in any event, this bug dies not seem to be a dupe of any other bug. I left a comment on the supposed dupe here: https://bugs.launchpad.net/ubuntu/+source/gnome-panel/+bug/542343/comments/29