diff options
| author | Ruben Rodriguez <ruben@gnu.org> | 2017-09-01 16:36:10 -0400 |
|---|---|---|
| committer | Ruben Rodriguez <ruben@gnu.org> | 2017-09-01 16:36:10 -0400 |
| commit | 3e9407561c478a7813568fd4f6e31746b7230bf8 (patch) | |
| tree | cbf51cbf0e6158c70521244988f45c8b4b46253c /data/extensions/https-everywhere-eff@eff.org/chrome/content/observatory-xul.js | |
| parent | e8730f68798f173bd4d1c2f9b7ce02985e3fd771 (diff) | |
HTTPS Everywhere updated to 5.2.21
Diffstat (limited to 'data/extensions/https-everywhere-eff@eff.org/chrome/content/observatory-xul.js')
| -rw-r--r-- | data/extensions/https-everywhere-eff@eff.org/chrome/content/observatory-xul.js | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/data/extensions/https-everywhere-eff@eff.org/chrome/content/observatory-xul.js b/data/extensions/https-everywhere-eff@eff.org/chrome/content/observatory-xul.js index 1d9169e..b2290f7 100644 --- a/data/extensions/https-everywhere-eff@eff.org/chrome/content/observatory-xul.js +++ b/data/extensions/https-everywhere-eff@eff.org/chrome/content/observatory-xul.js @@ -75,13 +75,20 @@ function set_observatory_configurability(enabled) { for (var i =0; i < ui_elements.length; i++) ui_elements[i].disabled = !enabled; // the "use tor" option can't be ungreyed unless tor is available - if (ssl_observatory.proxy_test_successful == false) { - var tor_opt = document.getElementById("ssl-obs-anon") - tor_opt.disabled = true; - tor_opt.label = tor_opt.getAttribute("alt_label"); - } - if (!enabled) + if (enabled) { + ssl_observatory.testProxySettings(function(proxy_test_successful){ + var tor_opt = document.getElementById("ssl-obs-anon") + if (proxy_test_successful == false) { + tor_opt.disabled = true; + tor_opt.label = tor_opt.getAttribute("alt_label"); + } else { + tor_opt.disabled = false; + tor_opt.label = tor_opt.getAttribute("default_label"); + } + }); + } else { hide_advanced(); + } } // show/hide advanced options in the preferences dialog |