301696 - user_pref unable to change type of the preference

Status: RESOLVED DUPLICATE of bug 50038

(SeaMonkey :: General, defect)

Description

[Peter Ross]

User-Agent:       Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.8) Gecko/20050511
Build Identifier: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.8) Gecko/20050511

I incorrectly added the following line to user.js

  user_pref("browser.dom.window.dump.enabled", "true");

This line is incorrect because I set the string true rather than the boolean
value true.  So I changed the line to

  user_pref("browser.dom.window.dump.enabled", true); // NO QUOTES!!!

Upon restarting mozilla I went to about:config and noted that the type of the
key was still a string.

I used the reset option from about:config, and then restarted mozilla and
finally the option was set to boolean.

Reproducible: Always

Steps to Reproduce:
1. Add the line 'user_pref("browser.dom.window.dump.enabled", "true");' to user.js
2. Start Mozilla, quit mozilla.
3. Edit user.js and remove the quotes from around the true
4. Start mozilla
5. Navigate to about:config and see that the type of the key is still a string.

Comment 1

[Christian :Biesinger (don't email me, ping me on IRC)]

user.js entries get copied to prefs.js... you need to remove the invalid entry
from there...

Comment 2

[Peter Ross]

(In reply to comment #1)
> user.js entries get copied to prefs.js... you need to remove the invalid entry
> from there...

Yes this is another work-around, but I shouldn't have to edit prefs.js, my
changes to user.js should be automatically propogated there (and they are
providing the type of the preference is the same).

Comment 3

[zug_treno]

Duplicate of/related to Core bug 252307 -> Core bug 50038?

Comment 4

[Adam Guthrie]

Yes, zug, this certainly looks like a dupe to me.

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