| 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); |