Review of "Hide Top Bar" version 5

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

gcampax active
Ok
bgm posted a review
Many line changes because I converted the code into a prototype. Based on code by fpmurphy, and fixed a bug reported by tuxor1337 (https://extensions.gnome.org/review/2334) so that the extension can be correctly disabled. Also uses the user's panel height, instead of hardcoding 25 px (tuxor1337).