Don't need to set use_tor_proxy twice

pde · pde · commit a722f9282341 · 2013-01-03T16:40:58.000-08:00
diff --git a/src/defaults/preferences/preferences.js b/src/defaults/preferences/preferences.js
@@ -20,7 +20,6 @@ pref("extensions.https_everywhere._observatory.popup_shown",false);
 pref("extensions.https_everywhere._observatory.proxy_host","");
 pref("extensions.https_everywhere._observatory.proxy_port",0);
 pref("extensions.https_everywhere._observatory.proxy_type","direct");
-pref("extensions.https_everywhere._observatory.use_tor_proxy",true);
 pref("extensions.https_everywhere._observatory.alt_roots",false);
 pref("extensions.https_everywhere._observatory.self_signed",true);
 pref("extensions.https_everywhere._observatory.priv_dns",false);
