diff --git a/browser/app/profile/firefox.js b/browser/app/profile/firefox.js index ecb3443603ba..3ed7287980a3 100644 --- a/browser/app/profile/firefox.js +++ b/browser/app/profile/firefox.js @@ -1066,6 +1066,9 @@ pref("devtools.toolbar.visible", false); pref("devtools.gcli.allowSet", false); pref("devtools.commands.dir", ""); +// Disable the app manager +pref("devtools.appmanager.enabled", false); + // Toolbox preferences pref("devtools.toolbox.footer.height", 250); pref("devtools.toolbox.sidebar.width", 500); diff --git a/browser/base/content/browser-appmenu.inc b/browser/base/content/browser-appmenu.inc index cb4dac58948d..0cd58f2ecf49 100644 --- a/browser/base/content/browser-appmenu.inc +++ b/browser/base/content/browser-appmenu.inc @@ -147,6 +147,8 @@ + +