Index: devtools-panel.js |
=================================================================== |
--- a/devtools-panel.js |
+++ b/devtools-panel.js |
@@ -249,11 +249,11 @@ |
lastFilterQuery = null; |
break; |
} |
}); |
// Since Chrome 54 the themeName is accessible, for earlier versions we must |
// assume the default theme is being used. |
// https://bugs.chromium.org/p/chromium/issues/detail?id=608869 |
- let theme = chrome.devtools.panels.themeName || "default"; |
+ let theme = browser.devtools.panels.themeName || "default"; |
document.body.classList.add(theme); |
}, false); |