Closed
Bug 493514
Opened 15 years ago
Closed 6 years ago
Need an easy way to reset prefs.js entries which were set by user.js
Categories
(Core :: Preferences: Backend, enhancement)
Core
Preferences: Backend
Tracking
()
RESOLVED
WORKSFORME
People
(Reporter: World, Unassigned)
Details
There is no easy way to clear/reset prefs.js entries which was set by user.js. We need a simple/easy way to reset such prefs.js entries. This is request based on same phenomenon as bug 171225, which was closed as DUP of bug 50038(for phenomenon that entry in user.js is written in prefs.js. WONTFIX). Because user tends to simply delete user.js entries and user usually doesn't reset old entries set by user.js cleanly, confusion/problem like bug 402759 Comment #16 thru bug 402759 Comment #36 can easily occur. User already has entries in users.js, and user_pref() is simply a internal JavaScript function. > user_pref("xxx.yyy.zzz", false); So next entry in user.js is easiest way to rest prefs.js entry for user. > reset_pref("xxx.yyy.zzz", any_valid_string_for_ease_of_editing_of_user.js);
Updated•15 years ago
|
QA Contact: preferences → preferences-backend
Comment 1•6 years ago
|
||
about:config seems like a sufficient way to reset such prefs.
Status: NEW → RESOLVED
Closed: 6 years ago
Resolution: --- → WORKSFORME
You need to log in
before you can comment on or make changes to this bug.
Description
•