GNOME Shell Extensions

Review of "Panel Settings" version 2

Details Page Preview

Panel Settings

by eddiefullmetal@gmail.com

Various settings for the Panel. You can find the panel settings menu under the User Menu. The following options are available: 1. Visibility: 1.1. Normal 1.2. Autohide 1.3. Overview Only 2. Edge: 2.1. Top (Normal) 2.2. Bottom

Extension Homepage
https://github.com/eddiefullmetal/gnome-shell-extensions
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

Version Status
4 Active
3 Active
2 Active
1 Active

Previous Reviews on this Version

gcampax posted a review
Seems ok.