docs.rodeo

MDN Web Docs mirror

devtools.panels.onThemeChanged

{{AddonSidebar}} 

Fired when the devtools theme changes.

Syntax

browser.devtools.panels.onThemeChanged.addListener(listener)
browser.devtools.panels.onThemeChanged.removeListener(listener)
browser.devtools.panels.onThemeChanged.hasListener(listener)

Events have three functions:

addListener syntax

Parameters

Browser compatibility

{{Compat}} 

Examples

browser.devtools.panels.onThemeChanged.addListener((newThemeName) => {
  console.log(`New theme: ${newThemeName}`);
});

{{WebExtExamples}} 

[!NOTE] This API is based on Chromium’s chrome.devtools.panels API.

In this article

View on MDN