Today I needed to restart the GNOME panel, this is all what it takes:
Open the run application box (Alt+F2) or a console and type:
killall gnome-panel
That’s it.