In der neuesten Ausgabe des Computermagazins com! (www.com-magazin.de)
fand ich einen Artikel mit Tipps und Tricks zu Firefox 1.0! Das wichtigste aus diesem Artikel möchte ich hier kurz weitergeben.
1. Downloadquellen für Erweiterungen (Extensions):
- https://update.mozilla.org/extensions/?application=firefox
- http://www.krickelkrackel.de/autohide/autohide.htm
- http://editcss.mozdev.org/
- http://dict.mozdev.org/
- http://extensionroom.mozdev.org/
- http://mozilla.dorando.at/
- http://spiderzilla.mozdev.org/
2. Downloadquellen für Themes:
- https://update.mozilla.org/themes/?application=firefox
- http://www.customize.org/list/firefox
3. Konfigurationsdateien:
Es gibt in Firefox 4 wichtige Konfigurationsdateien. Sie heißen userChrome.css, userContent.css, user.js und browser.xul. Diese können mit einem beliebigen Editor editiert werden.
Nach der Installation existieren diese Dateien (möglicherweise) noch nicht, oder nur mit dem Zusatz Example. Normalerweise befinden sie sich im Profil-Ordner, also unter /home/Benutzername./mozilla/firefox/x.default/chrome. Hierbei handelt es sich um ein verstecktes Verzeichnis. Falls die Dateien noch nicht existieren, müssen sie neu angelegt werden (mit einem Editor deiner Wahl).
Die css Dateien bestimmen das Aussehen von Firefox. Die Codeblöcke in die entsprechende Datei einfügen. Eine Auswahl an Einstellungen:
- Schriftgröße in Menüs (userChrome.css):
menupopup > * {
font-size: 20pt !important;
}
- Tabfarben ändern (userChrome.css):
tab [selected="true"] {
color: blue !important;
}
tab:not([selected="true"]) {
color: grey !important;
}
Farben nach Bedarf anpassen.
Die Datei user.js ist die zentrale Konfigurationsdatei von Firefox. Sie scheint unter Linux mit der Datei prefs.js im Profilverzeichnis /home/Benutzername./mozilla/firefox/x.default identisch zu sein. Einige Einstellungen:
- Blinkenden Text ausschalten (user.js):
user_pref("browser.blink_allowed", false);
- Fenstersteuerung von Java Script (user.js):
Manche Webdesigner haben Java Script-Fenster so eingerichtet, dass Buttons zum Schließen fehlen, oder die Fenstergröße starr bleibt usw. Diese Beschränkungen können mit dem folgenden Codeblock ausgehebelt werden:
user_pref("dom.disable_window_
move_resize", true);
user_pref("dom.disable_window_
open_feature.close", true);
user_pref("dom.disable_window_
open_feature.location", true);
user_pref("dom.disable_window_
open_feature.menubar", true);
user_pref("dom.disable_window_
open_feature.minimizable", true);
user_pref("dom.disable_window_
open_feature.resizable", true);
user_pref("dom.disable_window_
open_feature.scrollbars", true);
user_pref("dom.disable_window_
open_feature.status", true);
user_pref("dom.disable_window_
status_change", true);
user_pref("dom.disable_window_
flip", true);
- Seiten schneller laden (user.js):
user_pref("nglayout.initialpaint.delay", 1);
Setzt die Wartezeit für das Warten des Browsers auf Daten von der Website auf eine Millisekunde.
- Aktives Fenster schützen (user.js):
user_pref("advanced.system.supportDDEExec", false);
Verhindert, daß aus anderen Programmen, z.B. E-Mail Programm aufgerufene Links im aktiven Browserfenster geöffnet werden.
- Animationen in Webseiten abschalten (user.js):
user_pref("image.animation_mode", "none");
- Lebenszeit der History-Datei einstellen (user.js):
user_pref("browser.history_expire_days", 0);
Gruß
pippovic