I think I've figured out what the issue is. Our documentation is vague
on this point - I'll add a clarification right away.
You can add prefs to either your user preferences file (prefs.js in your
user profile directory) or to one of the default pref files (any of the
.js files in bin/defaults/pref/). If you use prefs.js, the lines you add
should start with user_pref("... If you use all.js or security-prefs.js
in the defaults/pref directory, the line needs to start with pref("...,
NOT user_pref("..., which won't work in that context. Follow the format
of the rest of the file you're editing.
As was mentioned before, Mozilla must not be running when you edit these
files.
It's probably best to edit prefs.js in your profile directory, not one
of the default files. I'll mention that in the docs. For the record, the
authoritative docs on security configuration are at
http://www.mozilla.org/projects/security/components/configPolicy.html
If these docs are unclear, or you follow the instructions and something
doesn't work right, please post *constructive criticism* in the
newsgroup, or email me.
-Mitch
