Panel Settings

Adds various settings to GNOME Panel
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.

last updated on:
October 21st, 2012, 21:14 GMT
price:
FREE!
developed by:
Grigoris Grigoriadis
homepage:
github.com
license type:
Freeware 
category:
ROOT \ Desktop Environment \ GNOME Shell Extensions

FREE!

In a hurry? Add it to your Download Basket!

user rating

UNRATED
0.0/5
 

0/5

Rate it!
1 Screenshot
Panel Settings

Add your review!

SUBMIT