diff options
| author | hackademix | 2019-03-14 01:57:58 +0100 |
|---|---|---|
| committer | hackademix | 2019-03-14 01:57:58 +0100 |
| commit | d1dd278a81444e2203945fc213a4b69ed1ee49a7 (patch) | |
| tree | 8d5324bfd690debdec3f126c68dd376991c94b25 /src/ui/ui.js | |
| parent | 3f2453053bd40102d9bc4eddd5f24759477cca43 (diff) | |
| download | noscript-d1dd278a81444e2203945fc213a4b69ed1ee49a7.tar.gz noscript-d1dd278a81444e2203945fc213a4b69ed1ee49a7.tar.xz noscript-d1dd278a81444e2203945fc213a4b69ed1ee49a7.zip | |
Selective handling of Tor Browser options and work-around for https://bugzilla.mozilla.org/show_bug.cgi?id=1532530
Diffstat (limited to 'src/ui/ui.js')
| -rw-r--r-- | src/ui/ui.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/ui/ui.js b/src/ui/ui.js index 205d2a9..46d9d7f 100644 --- a/src/ui/ui.js +++ b/src/ui/ui.js @@ -41,6 +41,9 @@ var UI = (() => { if (UI.local && !UI.local.debug) { debug = () => {}; // be quiet! } + if (UI.local) { + document.documentElement.classList.toggle("tor", !!UI.local.isTorBrowser); + } resolve(); if (UI.onSettings) UI.onSettings(); await HighContrast.init(); |