I expect going into Gnome or KDE and resetting the settings for xfce would have also worked. Though frankly I didn't bother -- if an experienced Unix user can b

I expect going into Gnome or KDE and resetting the settings for xfce would have also worked. Though frankly I didn't bother -- if an experienced Unix user can break it in 10 minutes without trying, it clearly isn't stable enough to use.