Panel Settings 1.0

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. Normal1.2. Autohide1.3. Overview Only2. Edge:2.1. Top (Normal)2.2. BottomTo install this...