DSchaerf Extensions

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