Mario Domgörgen: [Mozilla] >Die Angaben in der user.js müssen alphabetisch sortiert sein, sonst >ignoriert Mozilla die beim Übertragen in die prefs.js. Nein, das stimmt nicht. Es kommt vor, dass Eintragungen in der user.js ignoriert werden, falls vor diesen Eintragungen ein Fehler in der user.js vorkommt. In diesem Falle wird die Verarbeitung beim Fehler abgebrochen. Hartmut