Comment 15 for bug 9863

Vincent: I didn't check for it, I just hit "killall gnome-panel" as suggested in
the original report. But that did the trick, as after that the panels became
visible at the top and bottom of my screen.