Softwarebeschreibung:
Version: 1.0
Upload-Datum: 20 Feb 15
Lizenz: Frei
Popularität: 61
Panel-Einstellungen ist ein GNOME & nbsp; Shell-Erweiterung, die einen Eintrag in das Benutzermenü des GNOME & nbsp fügt; 3, mit dem Benutzer folgende Optionen zur Verfügung:
1. Sichtbarkeit:
1.1. Normal
1.2. Autohide
1.3. Nur Überblick
2. Rand:
2.1. Top (Normal)
2.2. Boden
Um diese Erweiterung zu installieren, müssen Sie GNOME Shell installiert oder Zimt. . Aber denken Sie daran, dass es nicht mit Zimt geprüft
Anforderungen :
- GNOME
- GNOME Shell
Kommentare nicht gefunden