Panel Settings

Freeware    
  UNRATED

  207 downloads

Adds various settings to GNOME Panel

description

download

specs

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

#GNOME panel #panel configuration #configure panel #panel #settings #configuration #GNOME-Shell

Panel Settings

0 User reviews so far.

SUBMIT