commit e006d6d64e27f457404180912eeb4f6eb0196ac0 Author: Mike Perry <mikeperry-git@torproject.org> 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);