Panel Settings - Free Download Software for Linux in GNOME Shell Extensions

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...

Categories: Desktop Enhancements, GNOME Shell Extensions

FREE DOWNLOAD PANEL SETTINGS FOR LINUX (External Download)

Recommended Software for Linux

New Instance on Current Workspace 20 Feb 15

App installer 20 Feb 15

Hide Clock aka dateMenu 20 Feb 15

Traductor Gnome-Shell 20 Feb 15

Remove Rounded Corners 20 Feb 15

GPS Status Indicator 20 Feb 15

Douban FM 20 Feb 15

Web Search Dialog 20 Feb 15