Hallo,
Ich habe etwa 10 Einträge in der user.js. Einige davon (vielleicht auch alle) werden nicht nach Neustart ausgeführt.
Um welche Einträge geht es denn? Vielleicht gibt es die ja überhaupt nicht mehr…
Außerdem habe ich festgestellt, dass in der prefs.js bei weitem nicht alle Einträge vorhanden sind, die in "about:config" erscheinen.
In der Datei prefs.js erscheinen die Optionen, welche von ihrem Standardwert abweichen. Das ist immer nur eine kleinere Menge aller verfügbaren Optionen.
Wie kann man die fehlenden Einträge ändern, nur über about:config?
In der Datei prefs.js ändert man sowieso niemals etwas. Wenn du eine Option über eine Datei ändern willst, dann über die Datei user.js (oder eine Unternehmensrichtlinie). Alles, was in about:config geändert werden kann, kann auch via user.js geändert werden.
Steht das so in der user.js? Nach der ersten und dritten Pref steht ein Komma, da muss ein Semikolon stehen.
Danke. Das stand da wirklich so. Jetzt aber nicht mehr und das Problem ist behoben. 
