From 3e9407561c478a7813568fd4f6e31746b7230bf8 Mon Sep 17 00:00:00 2001 From: Ruben Rodriguez Date: Fri, 1 Sep 2017 16:36:10 -0400 Subject: HTTPS Everywhere updated to 5.2.21 --- .../chrome/content/observatory-xul.js | 19 +++++++++++++------ 1 file changed, 13 insertions(+), 6 deletions(-) (limited to 'data/extensions/https-everywhere-eff@eff.org/chrome/content/observatory-xul.js') 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 -- cgit v1.2.3