Autohide Top Bar For GNOME Shell 3.4, More [Ubuntu PPA]

"Autohide Top Bar", a GNOME Shell extension that lets you toggle the GNOME Shell Top Bar autohide on/off by double clicking it, is now available for GNOME Shell 3.4 and Ubuntu 12.04 Precise Pangolin.