Fired when the devtools theme changes.
browser.devtools.panels.onThemeChanged.addListener(listener) browser.devtools.panels.onThemeChanged.removeListener(listener) browser.devtools.panels.onThemeChanged.hasListener(listener)
Events have three functions:
addListener(callback)
removeListener(listener)
listener
argument is the listener to remove.hasListener(listener)
listener
is registered for this event. Returns true
if it is listening, false
otherwise.callback
Function that will be called when this event occurs. The function will be passed the following arguments:
themeName
string
. Name of the new theme: this will be one of the permitted values for devtools.panels.themeName
.Desktop | Mobile | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
Chrome | Edge | Firefox | Internet Explorer | Opera | Safari | WebView Android | Chrome Android | Firefox for Android | Opera Android | Safari on IOS | Samsung Internet | |
onThemeChanged |
No |
No |
55 |
? |
No |
No |
? |
? |
No |
? |
? |
? |
browser.devtools.panels.onThemeChanged.addListener((newThemeName) => { console.log(`New theme: ${newThemeName}`); });
Note: This API is based on Chromium's chrome.devtools.panels
API.
Microsoft Edge compatibility data is supplied by Microsoft Corporation and is included here under the Creative Commons Attribution 3.0 United States License.
© 2005–2021 MDN contributors.
Licensed under the Creative Commons Attribution-ShareAlike License v2.5 or later.
https://developer.mozilla.org/en-US/docs/Mozilla/Add-ons/WebExtensions/API/devtools/panels/onThemeChanged