[or-cvs] [torbutton/master 10/15] changed name space on transparent tor pref
mikeperry at torproject.org
mikeperry at torproject.org
Thu Sep 30 13:33:45 UTC 2010
Author: Jacob Appelbaum <jacob at appelbaum.net>
Date: Sat, 24 Jul 2010 01:54:01 +0200
Subject: changed name space on transparent tor pref
Commit: 93b92bfca3e64a905743221a647fce798146f9b9
---
src/defaults/preferences/preferences.js | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/defaults/preferences/preferences.js b/src/defaults/preferences/preferences.js
index 8fca6a7..07ee5be 100644
--- a/src/defaults/preferences/preferences.js
+++ b/src/defaults/preferences/preferences.js
@@ -26,7 +26,6 @@ pref("extensions.torbutton.locked_mode",false);
pref("extensions.torbutton.test_url","https://check.torproject.org/?TorButton=true");
pref("extensions.torbutton.test_failed",false);
pref("extensions.torbutton.no_proxies_on","127.0.0.1");
-pref("extensions.torbutton.transparentTor",false);
// XXX: wtf prefs? These seem not actually connected, but govern
// if user wants own tor proxy settings
@@ -92,6 +91,7 @@ pref("extensions.torbutton.saved.productsub_override","");
pref("extensions.torbutton.saved.buildID_override","");
pref("extensions.torbutton.saved.useragent_vendor", "");
pref("extensions.torbutton.saved.useragent_vendorSub","");
+pref("extensions.torbutton.saved.transparentTor",false);
// network.dns.disablePrefetch is a hidden option. It has no default value:
//pref("extensions.torbutton.saved.dns_prefetch", false);
--
1.7.1
More information about the tor-commits
mailing list