(In reply to Mike Kaply [:mkaply] from comment #39) > Oddly, this document: > > https://developer.mozilla.org/en-US/docs/Mozilla/Preferences/ > A_brief_guide_to_Mozilla_preferences > > Says we already support lockPref in JS files?
It says: "All preferences files may call pref(), user_pref() and sticky_pref(), while the config file in addition may call lockPref()." which is about autoconf.
(In reply to Mike Kaply [:mkaply] from comment #39) /developer. mozilla. org/en- US/docs/ Mozilla/ Preferences/ guide_to_ Mozilla_ preferences
> Oddly, this document:
>
> https:/
> A_brief_
>
> Says we already support lockPref in JS files?
It says: "All preferences files may call pref(), user_pref() and sticky_pref(), while the config file in addition may call lockPref()."
which is about autoconf.