I was editing .gtk-bookmarks (and doing a few other things) and there came up a box saying something like "gnome-panel crashed". Now a ERROR box comes up and won't close (even after re-booting) which says: I've detected a panel already running, and will now exit. Can anybody tell me what's happened, and better, how to fix this?