"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.
If you're not familiar with Autohide Top Bar for GNOME Shell, here's an old video in which you can see it in action:
To install GNOME Shell Autohide Top Bar in Ubuntu 12.04 (for GNOME Shell 3.4), use the commands below:
Once installed, reload GNOME Shell and activate the extension using GNOME Tweak Tool.
sudo add-apt-repository ppa:webupd8team/gnome3 sudo apt-get update sudo apt-get install gnome-shell-extensions-autohidetopbar
If toggling autohide on/off doesn't work properly or you just want to change the value, open "extension.js":
And change the "const TIME_DELTA" value to something that works better for you, then restart GNOME Shell.
gksu gedit /email@example.com/extension.js
If you're not using Ubuntu, you can download the extension from HERE.
Besides Autohide Top Bar, two other extensions from the WebUpd8 GNOME 3 PPA were updated this week to support GNOME Shell 3.4: Noa11y (an extension to remove the Accessibility icon) and GNOME Shell Window Overlay Icons extension (an extension that displays an icon for each window in the activities overview, which makes it easier to distinguish the applications).
To install them in Ubuntu, make sure you've added the WebUpd8 GNOME 3 PPA, then use the following command:
- to install Noa11y:
sudo apt-get install gnome-shell-extensions-noa11y
- to install GNOME Shell Window Overlay Icons:
sudo apt-get install gnome-shell-extensions-windowoverlay-icons