Comment 30 for bug 1196177

I had installed each deb separately and that caused problems. I installed both debs with sudo dpkg -i gnome-panel*.deb this time and I can confirm that this did fix this problem.