No subject

Thu Aug 20 06:46:28 UTC 2009

 Dave Garrett      2009-12-28 13:32:58 PST

This seems to be the intended behavior.

http://kb.mozillazine.org/User.js_file
https://developer.mozilla.org/En/A_Brief_Guide_to_Mozilla_Preferences#Preferences_Saving

Quote from MDC:
"On application exit, all user-set preferences are saved to
prefs.js. This also
means that preferences initially set by user.js will also be
saved to
prefs.js."

-> INVALID

------------=_1262037610-4269-0--