How to SAVE new instructions added to the Firefox user preferences file?

[Bas Roufs]

> The instructions say to paste the lines into user.js, not prefs.js.

The instructions you refer to do indeed only refer to 'user.js'.
However, 'prefs.js' is simply another name for 'user.js', according to
the last alinea of this page:
http://www.gemal.dk/mozilla/profile.html
Respectfully yours,
Bas.


-- 
===============
Viaconsensus
Bas G. Roufs M.A.
Van 't Hoffstraat 1
NL-3514 VT  Utrecht
M. +31.6.446.835.10
T. +31.30.785.20.40
BasRoufs at gmail.com
===============