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.
GNOME-Shell Versionen
Aktuell werden die Versionen 3.30 und 3.38 der GNOME-Shell unterstützt.
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