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. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

