[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