gnome-shell-extensions

gnome-shell-extensions copied to clipboard

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