The version of gnome-panel from that repository is prior to the one I had. I can't reproduce the bug. I will insist. -- gnome panel crashes on right-click https://launchpad.net/bugs/79639