I still don't use Gnome, so I can't help you with the problem, but I can say that you can run the two commands together to save yourself some small annoyance;
will kill the panels then, if that succeeds, launch them again - in the background so that you shouldn't need to keep your terminal window open.Code:killall gnome-panel && gnome-panel &
Bookmarks