hallol
Wenn ich im Firefox eine "user.js" anlege und dort Einträge eintrage war ich bisher der Meinung, diese Einträge würden automatisch in die "prefs.js" übernommen bzw bei dort schon vorhandene Einträgen würden gegebnenfalls die Werte geändert.
Früher habe ich das nicht mal geprüft ob es so ist, ich habe mich einfach darauf verlassen.
Ich bin nun dabei mühsam eine neue aktuellere "user.js" zusammenzustellen und muste feststellen , daß Einträge scheinbar nur willkürlich übernommen oder Werte geändert werden die sich in der user.js befinden.
Meine etwas verunsicherte Frage: Habe ich den Sinn der "user.js" nicht richtig verstanden. Ich weiß natürlich daß ich die Einträge gleich in prefs.js oder about:config eintragen könnte.
Danke