493514 - Need an easy way to reset prefs.js entries which were set by user.js

Status: RESOLVED WORKSFORME

(Core :: Preferences: Backend, enhancement)

Description

[WADA:World Anti-bad-Duping Agency]

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);

Comment 1

[Nicholas Nethercote [inactive]]

about:config seems like a sufficient way to reset such prefs.