[tor-commits] [tor-browser/tor-browser-38.1.0esr-5.0-1] fixup! TB4: Tor Browser's Firefox preference overrides.

[mikeperry@xxxxxxxxxxxxxx]

commit e006d6d64e27f457404180912eeb4f6eb0196ac0
Author: Mike Perry <mikeperry-git@xxxxxxxxxxxxxx>
Date:   Sat Jul 18 19:17:07 2015 -0700

    fixup! TB4: Tor Browser's Firefox preference overrides.
    
    Disable the old version of webide as well (since it is still supported).
---
 browser/app/profile/000-tor-browser.js |    1 +
 1 file changed, 1 insertion(+)

diff --git a/browser/app/profile/000-tor-browser.js b/browser/app/profile/000-tor-browser.js
index 78062c1..7399501 100644
--- a/browser/app/profile/000-tor-browser.js
+++ b/browser/app/profile/000-tor-browser.js
@@ -156,6 +156,7 @@ pref("media.eme.apiVisible", false);
 pref("devtools.webide.autoinstallADBHelper", false);
 pref("devtools.webide.autoinstallFxdtAdapters", false);
 pref("devtools.webide.enabled", false);
+pref("devtools.appmanager.enabled", false);
 
 // Security slider
 pref("svg.in-content.enabled", true);



_______________________________________________
tor-commits mailing list
tor-commits@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits