Description: Configure SOCKS port preferences using system tor port 9050
Author: Ulrike Uhlig <u@451f.org>
Last-Update: 2016-07-02
Bug-Debian: http://bugs.debian.org/756054

--- a/chrome/content/preferences.js
+++ b/chrome/content/preferences.js
@@ -25,7 +25,7 @@

   pub.setDefaultPrefs = function() {
     pub.prefs.setCharPref("network.proxy.socks", "127.0.0.1");
-    pub.prefs.setIntPref("network.proxy.socks_port", 9150);
+    pub.prefs.setIntPref("network.proxy.socks_port", 9050);
     pub.prefs.clearUserPref("network.proxy.http");
     pub.prefs.clearUserPref("network.proxy.http_port");
     pub.prefs.clearUserPref("network.proxy.ssl");
@@ -41,7 +41,7 @@
     if (pub.prefs.getBoolPref("extensions.torbirdy.enigmail.throwkeyid")) {
       opts += "--throw-keyids ";
     }
-    var proxy = "socks5h://127.0.0.1:9150";
+    var proxy = "socks5h://127.0.0.1:9050";
     if (anonService === "jondo") {
       proxy = "http://127.0.0.1:4001";
     }
