Du verwendest einen veralteten Browser. Es ist möglich, dass diese oder andere Websites nicht korrekt angezeigt werden. Du solltest ein Upgrade durchführen oder einen alternativen Browser verwenden.
Mozilla Optimizer, unser Tool zur Verbesserung der Geschwindigkeit des Seitenaufbaus für Mozilla Browser, steht nun in Version 1.6 zum Download bereit. Ein paar extreme Optimierungen wurden etwas zurückgefahren, zudem gibt es eine neue Funktion sowie eine Readme.
@blümi:
Die 'prefs.js' sollte man eigentlich nicht von Hand editieren, weil man sich bei falscher Handhabung schnell sein Mozilla abschießen kann. Dafür gibt es eben die 'user.js'. Die Einträge in der 'user.js' sind dominant gegenüber denen in der prefs.js. Und wenn man mal was falsches Eingetragen hat, kann man den Fehler durch löschen der 'user.js' schnell wieder rückgängig machen und behält seine konsistente 'prefs.js'.
Genau, der Mozilla Optimizer trägt daher alle Optimierungen in der user.js ein. Es gibt jedoch eine Ausnahme: Die Startseiten-Einstellung. Wenn mand ie Homepage in der user.js festlegt, kann diese nicht mehr in den Mozilla Optionen geändert werden, was ziemlich ärgerlich sein könnte. Daher wird diese lediglich in der prefs.js eingetragen.