Ekstensi Gnome Shell "Autohide Top Bar" adalah ekstensi yang membuat top bar menjadi autohide dengan cara mendouble klik.
Cara Instalasi:
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-autohidetopbar
Setelah terinstall restart Gnome Shell dan aktifkan ekstensi dengan GNOME Tweak Tool.
Jika autohide on/off tidak berjalan semestinya, anda harus mengubah nilai pada file "extension.js":
gksu gedit /usr/share/gnome-shell/extensions/autohidetopbar2@werewolves.us/extension.js
Rubah nilai "const TIME_DELTA" ke nilai yang berjalan sesuai sistem anda, setelah itu restart GNOME Shell.
