Closed
Bug 1440675
Opened 7 years ago
Closed 3 years ago
Merge preferences devtools.policy.disabled and devtools.enabled
Categories
(DevTools :: General, enhancement, P3)
DevTools
General
Tracking
(Not tracked)
RESOLVED
INVALID
People
(Reporter: jdescottes, Unassigned)
References
Details
In bug 142918, we are introducing the preference devtools.policy.disabled in order to completely disable devtools.
We already have devtools.enabled which drives the display of the onboarding screen and it would probably make sense to merge those properties in a single property which would accept several values.
Something like devtools.status, accepting values representing:
- devtools disabled
- devtools "needsonbarding" ? (not disabled, but need to go through onboarding)
- devtools enabled
This will be more flexible and will make preference reading less complex.
Updated•6 years ago
|
Product: Firefox → DevTools
Reporter | ||
Comment 1•3 years ago
|
||
Removing the devtools.enabled pref in Bug 1609100
Status: NEW → RESOLVED
Closed: 3 years ago
Resolution: --- → INVALID
You need to log in
before you can comment on or make changes to this bug.
Description
•