This is a GNOME shell extension that adds panel configuration settings to the user menu.
It is written by eddiefullmetal@gmail.com.
The extension repository is at: https://github.com/eddiefullmetal/gnome-shell-extensions.
Install from extensions.gnome.org
You can find the panel settings menu under the User Menu. The following options are available:
- Visibility:
- Normal
- Autohide
- Overview Only
- Edge:
- Top (Normal)
- Bottom
- Panel Opacity (this fork only)