()
| 88 | } |
| 89 | |
| 90 | export function resetWindowTheme(): void { |
| 91 | if (typeof browser !== 'undefined' && browser.theme && browser.theme.reset) { |
| 92 | // BUG: resets browser theme to entire |
| 93 | // https://bugzilla.mozilla.org/show_bug.cgi?id=1415267 |
| 94 | browser.theme.reset(); |
| 95 | } |
| 96 | } |
no outgoing calls
no test coverage detected