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. Normal1.2. Autohide1.3. Nur Überblick2. Rand:2.1. Top...

Schalttafel Docklet ist ein GNOME-Shell-Erweiterung, die als ein Dock oder Panel, zeigt minimiert und aktiven Fenstern wirkt.Panel-Docklet hat die Unterstützung für mehrere Bildschirme, Fenster-Titel, Arbeitsbereiche ziehen, Favoriten.Um diese Erweiterung...

Pantheon

Pantheon 1.0

Pantheon ist ein Open Source und kostenloses Projekt, die Benutzer mit einem einzigartigen, Pracht, prächtige und moderne Desktop-Umgebung von Grund auf neu entwickelt, bietet. Es ist die Standard-Desktopumgebung der beliebten elementaryOS Linux...