nicht angemeldet
Hallo,
Also user.js habe ich nicht mal mit der Windows Suche gefunden, aber mit about:config habe ich die erforderliche Anweisung geändert, danke.
Die user.js muß vom Benutzer selbst angelegt werden (im Profilverzeichnis). Der Unterschied zur automatisch generierten prefs.js ist der, daß Änderungen an der user.js nur per Texteditor vorgenommen werden können, Änderungen an der prefs.js dagegen auch per User-Interface des Browsers (about:config, Preferences-Menü, ...).
Wenn Du Eintragungen in der user.js mit dem User-Interface änderst, dann sind die neuen Einstellungen nur bis zum Schließen von Mozilla gültig. Nach einem Neustart des Browsers werden wieder die alten Einstellungen aus der user.js übernommen.
Viele Grüße
Carsten