Closed Bug 1355799 Opened 7 years ago Closed 7 years ago

DevTools addon doesn't create webide preferences

Categories

(DevTools :: General, enhancement, P3)

enhancement

Tracking

(firefox55 fixed)

RESOLVED FIXED
Firefox 55
Tracking Status
firefox55 --- fixed

People

(Reporter: jdescottes, Assigned: jdescottes)

Details

Attachments

(1 file)

Follow up to bug 1314608, devtools addon should also process the webide preferences file.
Comment on attachment 8857469 [details]
Bug 1355799 - load webide preferences for devtools as addon;

https://reviewboard.mozilla.org/r/129448/#review131998
Attachment #8857469 - Flags: review?(poirot.alex) → review+
Pushed by jdescottes@mozilla.com:
https://hg.mozilla.org/integration/autoland/rev/20e5eed17b2e
load webide preferences for devtools as addon;r=ochameau
https://hg.mozilla.org/mozilla-central/rev/20e5eed17b2e
Status: ASSIGNED → RESOLVED
Closed: 7 years ago
Resolution: --- → FIXED
Target Milestone: --- → Firefox 55
Product: Firefox → DevTools
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Created:
Updated:
Size: