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
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