185380 - deletions from user.js not copied to prefs.js

Status: VERIFIED DUPLICATE of bug 50038

(Core :: Preferences: Backend, defect)

Description

[Jonathan Baron]

User-Agent:       Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.3a) Gecko/20021212
Build Identifier: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.3a) Gecko/20021212

If I have a line in user.js like
user_pref("capability.policy.default.Window.open", "noAccess");
the line appears in prefs.js after I restart Mozilla.  If I now
delete this line from user.js, it is not deleted from prefs.js.


Reproducible: Always

Steps to Reproduce:
1. add line to user.js
2. restart mozilla
3. delete the line
4. restart again

Actual Results:  
The line remains in prefs.js.

Expected Results:  
Delete the line.


I'm not sure whether anything can be done about this.  How would
Mozilla be able to tell which lines got into prefs.js from user.js
as opposed to from somewhere else?  Perhaps require an addition
to each such line like "user" at the beginning?  A pain.

But the trouble is that this problem undercuts the idea of user.js,
which is supposed to be a "safe" way to make changes without editing
prefs.js directly, right?  In order to work around the problem, I must
edit prefs.js manually.

Comment 1

[Matthias Versen [:Matti]]

see comment#3 in bug 50038

*** This bug has been marked as a duplicate of 50038 ***

Comment 2

[Felix Miata]

v dup