Closed
Bug 986855
Opened 10 years ago
Closed 10 years ago
The browser toolbox doesn't have the same theme as the normal toolbox
Categories
(DevTools :: Framework, defect)
Tracking
(Not tracked)
RESOLVED
DUPLICATE
of bug 1060464
People
(Reporter: mossop, Unassigned)
Details
The theme setting isn't shared so setting one doesn't change the other.
Comment 1•10 years ago
|
||
They don't even share profiles, so it would be kind of hacky to do this (we'd need to find the right profile first to update prefs.js/user.js).
Reporter | ||
Comment 2•10 years ago
|
||
Instead of using the prefs service could the toolbox just use the debug protocol to ask the server what prefs to use?
Comment 3•10 years ago
|
||
That's a very good idea now that we have the preferences actor from bug 943251!
Reporter | ||
Comment 4•10 years ago
|
||
Seems like the best thing would be to have a custom devtools prefs object that all devtools code uses instead of the prefs service. Then that can use the prefs service or the prefs actor depending on which prefs we want to share. Being asynchronous might be a challenge though
Comment 5•10 years ago
|
||
This is working now - I think Bug 1060464 may have fixed it
Status: NEW → RESOLVED
Closed: 10 years ago
Resolution: --- → DUPLICATE
Updated•6 years ago
|
Product: Firefox → DevTools
You need to log in
before you can comment on or make changes to this bug.
Description
•