Individuelle Panel-Eigenschaften

Zusätzlich zu den in the Section called Globale Panel-Eigenschaften beschriebenen globalen Eigenschaften gibt es noch einige Eigenschaften, die für jedes Panel individuell konfiguriert werden können. Dies beinhaltet etwa den Paneltyp (Kante, Ausgerichtet, Gleitend, Freischwebend), Größe, Position, Hintergrundfarbe und Versteckeinstellungen. Um diese Eigenschaften für ein Panel zu ändern, klicken Sie mit der rechten Maustaste darauf und wählen Panel->Eigenschaften. Sie können auch den Hauptmenü-Knopf verwenden und dann Panel->Eigenschaften wählen.

Im Eigenschaften-Menü, können Sie Alle Eigenschaften ... auswählen, was den Panel Eigenschaften-Dialog zum Vorschein bringt. Wenn Sie mit diesem Dialog bereits vertraut sind, können Sie einige dieser Eigenschaften — etwa Panelgröße und -typ — schneller Ändern, indem Sie den zugehörigen Eintrag im Eigenschaften-Menü wählen.

Der Panel Eigenschaften-Dialog enthält zwei Reiter, um die Panel-Eigenschaften zu ändern: Kantenpanel (oder Ausgerichtetes Panel, … - abhängig von Ihrem Paneltyp) und Hintergrund. Beide werden nachfolgend beschrieben.

Kantenpanel-Reiter

Figure 18. Dialog "Kantenpanel-Eigenschaften"

Hintergrund-Reiter

Figure 19. Dialog "Panel-Hintergrund"

Diese Optionen erlauben Ihnen die Änderung des Panel-Hintergrunds. Wenn Sie wollen, können Sie hier Standard, Pixmap oder Farbe als Hintergrund wählen. Das Standard-Erscheinungsbild des Panels wird durch das aktuelle GTK-Theme bestimmt (Sie können das GTK-Theme im GNOME-Kontrollzentrum ändern). Die Pixmap-Option ermöglicht Ihnen, ein Bild auf dem Panel zu kacheln oder zu skalieren. Über die Farbe-Option können Sie eine bestimmte Farbe für das Panel benutzen.

TipBilder ziehen und fallenlassen
 

Ein einfacherer Weg, den Hintergrund des Panels zu ändern, ist ein Bild vom GNOME-Dateimanager auf das Panel zu ziehen und dort fallenzulassen. Dies ändert automatisch den Hintergrund des Panels zu diesem Bild.