Panel Settings

  207 downloads
Freeware    
  not rated
Adds various settings to GNOME Panel

description

download

specifications

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.
READ MORE   
Last updated on October 21st, 2012
1  
Panel Settings

0 User reviews so far.

SUBMIT