gnome-logo.png

Gnome-Tipps

Tipps und Tricks zu Gnome

30.03.2011
Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.

Tipp: Gnome-Panel: ausblenden, aber richtig

Wenn Sie mit der rechten Maustaste auf eine der beiden Kontrollleisten klicken und Eigenschaften wählen, können Sie einige grundlegende Dinge über ein Dialogfenster anpassen. Auf dem Reiter Allgemein legen Sie zum Beispiel fest, ob das Panel automatisch einklappt (Checkbox Auto-Verbergen). Die Feinabstimmung für diese Ausblendfunktion können Sie nicht im Eigenschaften-Dialog vornehmen, dazu starten Sie stattdessen den Konfigurationseditor, indem Sie [Alt]+[F2] drücken und dann gconf-editor eingeben.

Navigieren Sie links zur Abteilung /apps/panel/toplevels. Die obere Leiste richten Sie über top_panel_screen0 ein, die untere entsprechend in bottom_panel_screen0. Beide Bereiche bieten die gleichen Einstellungsmöglichkeiten:

  • Über auto_hide schalten Sie das automatische Ausblenden ein, das ist dieselbe Funktion, wie die erwähnte Checkbox Auto-Verbergen sie bietet.
  • Interessant wird es bei auto_hide_size: Über dieses Feld definieren Sie die Anzahl der sichtbaren Pixel, wenn die Leiste eingefahren ist. Stellen Sie den Wert beispielsweise auf 1, ist am Bildschirmrand noch ein Pixel des Panels sichtbar, über den Sie es wieder nach vorne holen. Können Sie nicht so gut mit der Maus zielen, setzen Sie den Wert ein bisschen nach oben, um ein wenig mehr von der Leiste zu erhalten.
  • Auch die Verzögerung beim Auto-Verbergen konfigurieren Sie hier. In der Voreinstellung steht der Wert bei hide_delay auf 300 Millisekunden. Nach dieser Zeit klappt der Gnome-Desktop die Leiste ein, wenn der Mauszeiger nicht über ihr schwebt (Abbildung 1).
Abbildung 1: Der "Eigenschaften"-Dialog (rechts im Vordergrund) und GConf (im Hintergrund) im Vergleich – über Ersteren stellen Sie nur grundlegende Dinge ein; der Editor bietet weitaus mehr Möglichkeiten.

Tipp: Gnome-Panel vollständig zurücksetzen

Es kommt vor, dass die Anzeige der Kontrollleisten völlig aus dem Ruder gelaufen ist oder Sie sich einfach verkonfiguriert haben. Streikt das Panel und lässt sich nicht wieder zur Mitarbeit überreden, können Sie mit einem einfachen Befehl die Konfiguration auf den Ausgangszustand zurückstellen. Vorsicht: Das löscht sämtliche persönlichen Einstellungen!

Dazu öffnen Sie ein Terminalfenster, zum Beispiel über Anwendungen / Zubehör / Terminal oder über [Alt]+[F2] und Eingabe von gnome-terminal. Danach geben Sie das folgende Kommando ein und schicken es per Druck auf [Eingabe] ab:

gconftool-2 --recursive-unset /apps/panel

Anschließend melden Sie sich ab und wieder neu an, um die Änderungen sichtbar zu machen. Alternativ rufen Sie im selben Terminal diesen Befehl auf:

pkill gnome-panel

Damit beenden Sie alle Panel-Prozesse; diese starten automatisch sofort neu. Die Leiste sollte nun wieder im Ursprungszustand erscheinen.

LinuxCommunity kaufen

Einzelne Ausgabe
 
Abonnements
 

Ähnliche Artikel

  • Gnome-Tipps
    Gnome ist neben KDE die zweite große Desktop-Umgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
  • Tipps und Tricks zu Gnome
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor. Seit Ausgabe 01/2012 zeigen wir Tricks für die dritte Generation des Desktops: die Gnome Shell.
  • Gnome-Tipps
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
  • Tipps und Tricks zu Gnome
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
  • Gnome-Tipps
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
Kommentare

Infos zur Publikation

title_2014_04

Digitale Ausgabe: Preis € 9,80
(inkl. 19% MwSt.)

EasyLinux erscheint vierteljährlich und kostet EUR 9,80. Weitere Informationen zum Heft finden Sie auf der EasyLinux-Homepage.

Das EasyLinux-Jahresabo mit Prämie kostet ab EUR 33,30. Details zum EasyLinux-Jahresabo finden Sie im Medialinx-Shop.

NEU: DIGITALE AUSGABEN FÜR TABLET & SMARTPHONE

HINWEIS ZU PAYPAL: Die Zahlung ist auch ohne eigenes Paypal-Konto ganz einfach per Kreditkarte oder Lastschrift möglich!      

Tipp der Woche

Schnell Multi-Boot-Medien mit MultiCD erstellen
Schnell Multi-Boot-Medien mit MultiCD erstellen
Tim Schürmann, 24.06.2014 12:40, 0 Kommentare

Wer mehrere nützliche Live-Systeme auf eine DVD brennen möchte, kommt mit den Startmedienerstellern der Distributionen nicht besonders weit: Diese ...

Aktuelle Fragen

Artikelsuche
Erwin Ruitenberg, 09.10.2014 07:51, 1 Antworten
Ich habe seit einige Jahre ein Dugisub LinuxUser. Dann weiß ich das irgendwann ein bestimmtes Art...
Windows 8 startet nur mit externer Festplatte
Anne La, 10.09.2014 17:25, 4 Antworten
Hallo Leute, also, ich bin auf folgendes Problem gestoßen: Ich habe Ubuntu 14.04 auf meiner...
Videoüberwachung mit Zoneminder
Heinz Becker, 10.08.2014 17:57, 0 Antworten
Hallo, ich habe den ZONEMINDER erfolgreich installiert. Das Bild erscheint jedoch nicht,...
internes Wlan und USB-Wlan-Srick
Gerhard Blobner, 04.08.2014 15:20, 2 Antworten
Hallo Linux-Forum: ich bin ein neuer Linux-User (ca. 25 Jahre Windows) und bin von WIN 8 auf Mint...
Server antwortet mit falschem Namen
oin notna, 21.07.2014 19:13, 1 Antworten
Hallo liebe Community, Ich habe mit Apache einen Server aufgesetzt. Soweit, so gut. Im Heimnet...