Firefox und das »about:config«-Kommando

Dienstag, 5. Dezember 2006, 14.42 Uhr | Giesbert Damaschke

Heute wird’s mal wieder ein wenig praktisch. An drei Beispielen möchte ich Ihnen zeigen, wie Sie das Interface von Firefox verändern können. Selbst, wenn Sie das überhaupt nicht vorhaben, so lernen Sie ein, wie ich finde, recht interessantes Konzept zur Konfiguration eines Programms kennen.

Denn bei diesem Browser können Sie nicht nur die üblichen Einstellungen vornehmen und etwa die Schaltflächen auf der Systemleiste verändern, sondern sehr tief in die Konfiguration eingreifen. Dafür bietet Firefox ein spezielles Kommando: „about:config“.

Eine Warnung vorweg

Doch bevor ich fortfahre, möchte ich Sie warnen: Klicken Sie in der Konfiguration nicht einfach auf gut Glück herum! Mir ist zwar kein Beispiel bekannt (und ich halte es auch für sehr unwahrscheinlich), aber ich möchte nicht ausschließen, dass Sie unter Umständen Firefox unrettbar verkonfigurieren können.

Das Konfigurationsmenü aufrufen

Um das Konfigurationsmenü aufzurufen, müssen Sie das erwähnte Kommando about:config als Webadresse eintragen und die Eingabetaste drücken. Anschließend zeigt Ihnen Firefox eine lange, alphabetische Liste mit verschiedenen Einstellungen.

Die Namen der einzelnen Einträge setzen sich aus verschiedenen Angaben zusammen, die die jeweilige Funktion eines Eintrags immer weiter spezifizieren. So definiert etwa alerts.height die Höhe der Warndialoge, mit denen Firefox auf ein Problem hinweist, in Pixel (Standardwert: 50). Der Wert des Eintrags browser.tabs.closeButtons legt fest, ob alle Tabs eine „Schließen“-Fläche besitzen (1), oder nicht (2), oder ob nur das jeweils aktive Tab damit aufwartet (0). Das ist zum Beispiel sinnvoll, wenn Sie verhindern möchten, dass Sie beim Wechsel zwischen geöffneten Tabs diese versehentlich schließen.

Die Einträge filtern

Die mit about:config aufgerufene Liste ist sehr lang und es kann etwas mühsam werden, einen bestimmten Eintrag zu finden. Doch keine Sorge, dafür gibt es das Filter-Feld. Geben Sie hier einfach den Namen oder auch nur einen Namensteil des gesuchten Eintrags ein und schon filtert Firefox die zu Ihrer Eingabe passenden Einträge heraus. Geben Sie zum Beispiel „tabs“ ein, zeigt Ihnen Firefox alle Einträge, in deren Namen „tabs“ auftaucht.

Einen Eintrag verändern

Um den Wert eines Eintrags zu verändern, klicken Sie ihn doppelt an. Bei Werten, die lediglich zwischen ein / aus (bzw. true / false) wechseln können, schalten Sie durch diesen Doppelklick um, bei allen anderen öffnet sich ein Eingabedialog, in dem Sie den neuen Wert eintragen können. Ein geänderter Wert wirkt sich fast immer sofort aus.

Sobald ein Wert verändert wurde, wird der Eintrag in der Liste gefettet und in der Spalte Status steht nun vom Benutzer festgelegt.

Möchten Sie den Standard-Wert wiederherstellen, klicken Sie den geänderten Eintrag mit der rechten Maustaste an und wählen Sie im Kontextmenü den Eintrag Zurücksetzen.

Beispiel 1: Favicons ausschalten

Firefox zeigt in der Adressleiste und in den Lesezeichen die so genannten „Favicons“ der jeweiligen Webseiten an. Das mag ganz praktisch sein, ich finde es eher verwirrend und habe die Anzeige daher ausgeschaltet. Und zwar mit diesen neuen Werten:

Einstellung: browser.chrome.favicons. Wert: false.
Einstellung: browser.chrome.site_icons. Wert: false.

Beispiel 2: Toolbartips ausschalten

Als Toolbartips werden die gelben Infokästen bezeichnet, die Firefox als Hilfestellung gelegentlich einblendet. Auch das finde ich wenig hilfreich und reichlich störend. Also habe ich auch diese Toolbartips ausgeschaltet.

Einstellung: browser.chrome.toolbar_tips. Wert: false.

Beispiel 3: Den Goto-Pfeil ausblenden

Firefox zeigt rechts neben der Adressleiste einen Pfeil. Geben Sie eine Adresse ein und klicken Sie dann auf diesen Pfeil, so steuert Firefox die Adresse an. Bis Firefox 2.0 war dieser Pfeil eine eigene Schaltfläche, die man einfach aus der Leiste ziehe konnte, wenn man sie nicht benötigte oder bei kleinen Bildschirmen Platz sparen musste. Ab Firefox 2.0 ist der Pfeil Bestandteil der Adressleiste und lässt sich so einfach nicht mehr entfernen.

Aber das geht natürlich doch. Nämlich mit:

Einstellung: browser.urlbar.hideGoButton. Wert: true.

Übersicht über die verschiedenen Einträge und ihre Funktion

Diese drei Beispiele mögen an dieser Stelle genügen. Wenn Sie tiefer in die Materie einsteigen möchten, empfehle ich Ihnen einen Abstecher in die Knowledge Base von Mozilla. Hier finden Sie ausführliche (allerdings englische) Erläuterungen und Ausführungen zum Thema:

“About:config” in der Mozilla Knowledge Base