With respect to your reaction...
>> Why don't you read the big comment at the top of the file?
>> /* Do not edit this file.
I have seen this too, but this does not solve the problem. I need to
change the file anyway.
> *
> * If you make changes to this file while the application is running,
> * the changes will be overwritten when the application exits.
This is obvious.
But even if bring in the changes in the file AFTER closing Firefox,
Firefox seemingly overwrites those changes.
> *
> * To make a manual change to preferences, you can visit the URL
> about:config
> * For more information, see
>http://www.mozilla.org/unix/customizing.html#prefs> */
I did visit that website, however, I did not find there the answer to
my question.
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
===============