Review of "Hide Top Bar" version 7

Details Page Preview

Hides the top bar, except in overview. However, there is an option to show the panel whenever the mouse pointer approaches the edge of the screen. And if "intellihide" is enabled, the panel only hides when a window takes the space. - Press backspace to remove keyboard shortcut. - Log off and on again when there is an error after upgrading.

Extension Homepage
https://gitlab.gnome.org/tuxor1337/hidetopbar

No comments.

Diff Against

Files

Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.

All Versions

Previous Reviews on this Version

tuxor1337 posted a review
Just as an explanation: It's a complete rewrite. Unfortunately, I found at least one unnecessary lines just after uploading ("Lang = imports.lang"). But on the whole I'm using this version of the extension for quite a while now and it's working flawlessly. I dropped the README for extensions.gnome.org, because I don't see people going to the extension's dictionary to read the README file. They rather come here and from there to github, where they will find a decent documentation.
gcampax active
The rewrite is fine, as long as it works...