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)

x86
macOS
defect
Not set
normal

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.
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).
Instead of using the prefs service could the toolbox just use the debug protocol to ask the server what prefs to use?
That's a very good idea now that we have the preferences actor from bug 943251!
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
This is working now - I think Bug 1060464 may have fixed it
Status: NEW → RESOLVED
Closed: 10 years ago
Resolution: --- → DUPLICATE
Product: Firefox → DevTools
You need to log in before you can comment on or make changes to this bug.