How to enable Gnome 3.8 Classic Mode

Install gnome-shell-extensions:

sudo apt-get install gnome-shell-extensions

Then logout, and choose new new “classic” option from the sessions listing.