Closed Bug 1572332 Opened 1 year ago Closed 1 year ago

Move non-debugger devtools prefs into all.js and firefox.js

Categories

(Core :: Preferences: Backend, task)

task
Not set
normal

Tracking

()

RESOLVED FIXED
mozilla70
Tracking Status
firefox70 --- fixed

People

(Reporter: njn, Assigned: njn)

Details

Attachments

(1 file)

devtools-shared.js is included in greprefs.js immediately after all.js. There's no real reason for it to be separate from all.js.

Other devtools prefs files (devtools-startup.js, webide.js, devtools-client.js, and debugger.js) also could be merged into all.js, as far as I can tell. But devtools-shared.js is the most obvious candidate for merging, given that it's unconditionally included by greprefs.js, so I thought I'd start with that and see if there is rioting in the streets before doing the others.

(Note that there are a handful of devtools.* prefs in all.js already.)

Blocks: 1572336
No longer blocks: 1572336
Attachment #9083905 - Attachment description: Bug 1572332 - Merge devtools-shared.js into all.js. r=jdescottes → Bug 1572332 - Move devtools prefs into all.js and firefox.js.
Attachment #9083905 - Attachment description: Bug 1572332 - Move devtools prefs into all.js and firefox.js. → Bug 1572332 - Move non-debugger devtools prefs into all.js and firefox.js. r=jdescottes
Summary: Merge devtools-shared.js into all.js → Move non-debugger devtools prefs into all.js and firefox.js
Pushed by nnethercote@mozilla.com:
https://hg.mozilla.org/integration/autoland/rev/2d881c1ee2d0
Move non-debugger devtools prefs into all.js and firefox.js. r=jdescottes
Status: NEW → RESOLVED
Closed: 1 year ago
Resolution: --- → FIXED
Target Milestone: --- → mozilla70
Assignee: nobody → n.nethercote
Pushed by mozilla@jorgk.com:
https://hg.mozilla.org/comm-central/rev/f6d5ebd71a47
Port bug 1572332 - Move non-debugger devtools prefs into all-thunderbird.js, adjust package-manifest.in. rs=bustage-fix
You need to log in before you can comment on or make changes to this bug.