https://www.omgubuntu.co.uk/2010/08/restore-default-gnome-settings-in-ubuntu-quick-tip