GNOME-Shell Versionen
Aktuell werden die Versionen 3.30, 3.38, 43 und 47 der GNOME-Shell unterstützt.
PanelManager
Die GNOME Shell Erweiterung PanelManager "panelManager@dschaerf" (Paketname: dschaerf-extension-panelmanager) vereint in sich mehrere Erweiterung. Welche dies im einzelnen sind erfahren Sie unter Funktionsumfang.
Paketquellen
Informationen zu den zur Verfügung stehenden Paketquellen für die einzelnen Distributionen finden Sie hier.
Funktionsumfang
Die folgenden Funktionen sind im PanelManager enthalten:
- Hinzufügen von alternativen "Hot Cornern" im GNOME-Shell Panel (links und rechts)
- Hinzufügen einer "Anwendungen"-Schaltfläche (links)
- Hinzufügen einer "Orte"-Schaltfläche (links)
- Hinzufügen einer "Favoriten"-Schaltfläche (links)
- Hinzufügen einer "Arbeitsfläche anzeigen"-Schaltfläche (links)
- Hinzufügen einer "Papierkorb"-Schaltfläche (rechts)
- Hinzufügen von Menüeinträgen für Aus- und Eingabequellen im Systemmenü, sowie ein Symbol für die Eingabequellen in der Systemmenü-Schaltfläche
- Hinzufügen von "Grundlegende Einstellungen" als Menüeintrag im Systemmenü
- Hinzufügen von Menübuttons für Panel Manager-Einstellung, Terminal, GNOME-Shell neustarten, sowie einen Alt-Switcher für Hibernate und HybridSleep im Statusmü
- Umfangreiche Einstellmöglichkeiten für Panel Manager und das GNOME-Shell Panel