Panel Settings

by eddiefullmetal@gmail.com | 138779 downloads

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

Download

Your opinion

Unfortunately, to help prevent spam, we require that you log in to GNOME Shell Extensions in order to post a comment or report an error. You understand, right?

User Reviews

Loading reviews…

Versions

Version	Status	Shell Versions
4	Active	`3.2.1` `3.2.2` `3.4`
3	Active	`3.2.1` `3.2.2` `3.4`
2	Active	`3.2.1` `3.2.2` `3.4`
1	Active	`3.2.1`