I found a way to fix the ugly old gtk look as from this link: http://askubuntu.com/questions/88154/how-can-i-restore-a-broken-theme-in-gnome-shell I removed ~/.config/dconf/ and re logged in and gnome looked right again. Now hopefully gnome-shell won't freeze as it was before when I tried 3.4.