This is a GNOME shell extension that adds panel configuration settings to the user menu.
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