Open
Bug 1395214
Opened 7 years ago
Updated 2 years ago
Move all devtools prefs to /devtools
Categories
(DevTools :: General, enhancement, P5)
DevTools
General
Tracking
(Not tracked)
NEW
People
(Reporter: ochameau, Unassigned)
References
Details
For now, we have various spots for devtools preferences:
http://searchfox.org/mozilla-central/source/devtools/client/preferences/devtools.js
http://searchfox.org/mozilla-central/source/devtools/client/preferences/debugger.js
http://searchfox.org/mozilla-central/source/devtools/shim/devtools-startup-prefs.js
And also:
http://searchfox.org/mozilla-central/source/modules/libpref/init/all.js#1034
all.js and devtools-startup-prefs.js look redundant?
all.js is mostly meant for preferences that have to be used in server/actors as the one from client/preferences aren't injected on fennec.
Ideally we would migrate all devtools preferences to /devtools,
is devtools-startup-prefs.js a good host?
Will it contain preferences that are specific to the frontend?
Updated•7 years ago
|
Severity: normal → enhancement
Priority: -- → P5
Updated•7 years ago
|
Product: Firefox → DevTools
Updated•2 years ago
|
Severity: normal → S3
You need to log in
before you can comment on or make changes to this bug.
Description
•