Hides Gnome's topbar except in overview mode.
- https://extensions.gnome.org/extension/545/hide-top-bar/
- https://github.com/mlutfy/hidetopbar
Maintained by Thomas Vogt. With contributions by Philip Witte and Mathieu Lutfy. Tested on Gnome 3.14 and 3.16.
Compile the gsettings schema by running
make schemas
Install this in your extensions directory:
~/.local/share/gnome-shell/extensions/
Example:
cd ~/.local/share/gnome-shell/extensions/
git clone https://github.com/mlutfy/hidetopbar.git [email protected]
cd [email protected]
make schemas
gnome-shell-extension-tool -e [email protected]
You can also manage extensions from https://extensions.gnome.org/local/
Copyright (c) 2013-2015 Thomas Vogt.
Copyright (c) 2012-2013 Mathieu Lutfy.
Copyright (c) 2012 Philip Witte.
This program is free software; you can redistribute it and/or modify it under the terms of VERSION 2 of the GNU General Public License as published by the Free Software Foundation provided that the above copyright notice is included.
This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Go to http://www.gnu.org/licenses/gpl-2.0.html to get a copy of the license.