[tor-commits] [torbutton/master] fixup! Bug 16917: Allow users to more easily set a non-tor SSH proxy.

[gk at torproject.org]

commit 8f40dd361efd3704a65ac8647f814f0415399da0
Author: Georg Koppen <gk at torproject.org>
Date:   Fri Mar 4 10:10:01 2016 +0000

    fixup! Bug 16917: Allow users to more easily set a non-tor SSH proxy.
---
 src/chrome/content/torbutton.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/chrome/content/torbutton.js b/src/chrome/content/torbutton.js
index ce49a57..63d3493 100644
--- a/src/chrome/content/torbutton.js
+++ b/src/chrome/content/torbutton.js
@@ -2014,7 +2014,6 @@ function torbutton_clear_image_caches()
  */
 function torbutton_use_nontor_proxy()
 {
-  let nontor_mode = m_tb_prefs.getBoolPref("extensions.torbutton.use_nontor_proxy");
   let domainIsolator = Cc["@torproject.org/domain-isolator;1"]
       .getService(Ci.nsISupports).wrappedJSObject;