5
mai
0

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.

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:

sudo add-apt-repository ppa:webupd8team/gnome3sudo apt-get updatesudo apt-get install gnome-shell-extensions-autohidetopbar

Once installed, reload Window Buttons Extension Available For GNOME Shell 3.4 [Ubuntu 12.04] » href= »http://www.adminreseau.fr/window-buttons-extension-available-for-gnome-shell-3-4-ubuntu-12-04/ »>GNOME Shell and activate the extension using GNOME Tweak Tool.

If toggling autohide on/off doesn’t work properly or you just want to change the value, open « extension.js »:

gksu gedit /usr/share/gnome-shell/extensions/autohidetopbar2@werewolves.us/extension.js

And change the « const TIME_DELTA » value to something that works better for you, then restart GNOME Shell.

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:
sudo apt-get install gnome-shell-extensions-noa11y
  • to Install Ambiance Theme Fixed For Classic GNOME Session [Ubuntu 12.04] » href= »http://www.adminreseau.fr/install-ambiance-theme-fixed-for-classic-gnome-session-ubuntu-12-04/ »>install GNOME Shell Window Overlay Icons:
sudo apt-get Install Emerald In Ubuntu 13.04, 12.10 Or 12.04 [PPA]" href="http://www.adminreseau.fr/how-to-install-emerald-in-ubuntu-13-04-12-10-or-12-04-ppa/">install gnome-shell-extensions-windowoverlay-icons

Also see:


Web Upd8 – Ubuntu / Linux blog

Enjoyed reading this post?
Subscribe to the RSS feed and have all new posts delivered straight to you.
Post your comment




Celadon theme by the Themes Boutique