Commit 8f40dd36 authored by Georg Koppen's avatar Georg Koppen
Browse files

fixup! Bug 16917: Allow users to more easily set a non-tor SSH proxy.

parent 06800f1c

src/chrome/content/torbutton.js

+0 −1
Original line number Diff line number Diff line
@@ -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;