Gnome 3 Extension: Dash-to-Dock

Dash to Dock extendeds the dash with intellihide features. My new favorite, although not updated for Gnome 3.6

Replaces Docky for me.

https://extensions.gnome.org/extension/307/dash-to-dock/