Panel Settings

Panel Settings is a GNOME Shell extension that adds an entry to the User Menu of GNOME 3, allowing users to access the following options:

1. Visibility:

1.1. Normal
1.2. Autohide
1.3. Overview Only

2. Edge:

2.1. Top (Normal)
2.2. Bottom

To install this extension you must have GNOME Shell installed or Cinnamon. However, keep in mind that it has not been tested with Cinnamon.


Product's homepage

Requirements:

· GNOME
· GNOME Shell