Closed
Bug 1355799
Opened 7 years ago
Closed 7 years ago
DevTools addon doesn't create webide preferences
Categories
(DevTools :: General, enhancement, P3)
DevTools
General
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 hidden (mozreview-request) |
Comment 2•7 years ago
|
||
mozreview-review |
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
Comment 4•7 years ago
|
||
bugherder |
https://hg.mozilla.org/mozilla-central/rev/20e5eed17b2e
Status: ASSIGNED → RESOLVED
Closed: 7 years ago
status-firefox55:
--- → fixed
Resolution: --- → FIXED
Target Milestone: --- → Firefox 55
Updated•6 years ago
|
Product: Firefox → DevTools
You need to log in
before you can comment on or make changes to this bug.
Description
•