439038 - Change the look of and add ability to edit user.js preferences in GUI (about:config)

Status: RESOLVED DUPLICATE of bug 261680

(Toolkit :: Preferences, enhancement)

Description

[Lucas Malor (mail: c6kfnkn2uc AT snkmail DOT c0m)]

User-Agent:       Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9pre) Gecko/2008061206 Minefield/3.0pre
Build Identifier: 

See steps below.

Reproducible: Always

Steps to Reproduce:
1. if you don't have one, create an user.js file in your profile and add at least one entry
2. start your moz app and open the preference editor (about:config in Firefox)
3. search for one entry you have in user.js
4. Notice the look of the entry and modify it
Actual Results:  
The look of the user.js pref is not different from preferences not in user.js. The change to the pref is reset at next restart, since the modified value is the value in pref.js file

Expected Results:  
Look of preferences that are in user.js should be different, and the user should be allowed to choose to modify pref.js or user.js value.