Awesome

About Hide Top Bar

This GNOME extension helps to hide GNOME's top bar when it gets into your way.

In the extension's preferences, different behaviors can be specified: unhiding on mouse-over or on pressing a keyboard shortcut, or when no window requires the space.

clip

Installation from extensions.gnome.org

Unless you are on Debian or Ubuntu (see section below), the recommended way of installing Hide Top Bar is via the official builds on extensions.gnome.org/.../hide-top-bar/.

If you're installing via a Chrome browser, make sure you read the GNOME Shell integration for Chrome Installation Guide.

Debian

If you are using a Debian based distribution, the preferred installation method is to use the packaged version. By this, compatibility problems caused by different gnome-shell versions in your distribution can be avoided. You can install the package with:

sudo apt install gnome-shell-extension-autohidetopbar

If you find problems with the Debian packaged version, please file bugs at the Debian Bugtracking system.

Installation from source

If you insist on installing from source, the commands xgettext and msgfmt from the gettext package (package name may vary depending on your distribution) are required.

The procedure to install from source is as follows: Check out the source code, compile by running make, install and restart GNOME Shell. For example:

git clone https://gitlab.gnome.org/tuxor1337/hidetopbar.git
cd hidetopbar
make
gnome-extensions install ./hidetopbar.zip

You then need to log off and on again for the install procedure to take effect. Alternatively, you may want to try one of the following:

# If you are running a X11 session run the following command
gnome-shell --replace &
# If you are running a wayland session run the following command
dbus-run-session -- gnome-shell --nested --wayland

You can enable the extension through the interface on extensions.gnome.org, the gnome-extensions-app, or the following command line:

gnome-extensions enable hidetopbar@mathieu.bidon.ca

Updating the language strings

Whenever you notice that there are localizable strings in Hide Top Bar that are not covered by the strings in ./locale/, you can regenerate the *.pot-file using the following command:

make ./locale/hidetopbar.pot

To then incorporate the changes to the actual translation files for each language, run one of the following commands:

make all-po                                 # For updating the files for all languages
make ./locale/XX/LC_MESSAGES/hidetopbar.po  # For updating one specific po file, where 'XX' is the language code

As mentioned in the previous section, running make requires the gettext package to be installed (the package names may vary depending on your distribution).

Troubleshooting

Can I assign a shortcut to temporally disable the autohiding altogether?

Follow the instructions to assign a system-wide shortcut that disables/enables the extension.

Notification pop-ups cause the top bar to hide.

Using the extension Panel OSD, you can configure notification pop-ups to show up in a different position (e.g. a few pixels down) where they won't overlap with the top bar.

The panel overlaps with the dash/dock.

This is an issue of the extension Dash to Dock, see also this comment.

License

Hide Top Bar is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

Hide Top Bar 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. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with Hide Top Bar (see COPYING.txt). If not, see gnu.org/licenses/.