As other people have explained in this newsgroup, prefs.js is written
every time Mozilla closes.
You have to put your user_pref's in user.js; this is read after prefs.js
the next time Mozilla opens and overrides prefs.js entries (sometimes).
I've had mixed results with user.js; some things you hope will work don't.
Phil
Michal Kluka wrote:
>Hi!
> I have manually added following to my prefs.js:
>user_pref("network.http.max-connections-per-server", 8). Than I have
>started Mozilla & closed Mozilla and when I have looked into prefs.js
>again, my added pref was not there. Is that known bug or am I doing
>something wrong?
>Michal
>p.s. Using latest nigty build from 03/23/02.
>
