+ partial fix for 586721: Kill dev menu [r=dolske a=dolske]
authorIan Gilman <ian@iangilman.com>
Thu, 12 Aug 2010 17:28:45 -0700
changeset 50590 efc6f1cbb38f79e08d43e612997bcc709a920a34
parent 50589 802b081c965892281fdd22507aac60be24afcbbb
child 50591 555f72a49fd0f6f4f352925d3ecd411d5724e700
push id1
push userroot
push dateTue, 26 Apr 2011 22:38:44 +0000
treeherdermozilla-beta@bfdb6e623a36 [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewersdolske, dolske
bugs586721
milestone2.0b4pre
first release with
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
last release without
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
+ partial fix for 586721: Kill dev menu [r=dolske a=dolske]
browser/base/content/tabview/ui.js
--- a/browser/base/content/tabview/ui.js
+++ b/browser/base/content/tabview/ui.js
@@ -102,17 +102,22 @@ var UIManager = {
       gWindow.addEventListener("tabviewshow", function() {
         self.showTabView(true);
       }, false);
 
       // ___ currentTab
       this._currentTab = gBrowser.selectedTab;
 
       // ___ Dev Menu
-      this._addDevMenu();
+      // This dev menu is not meant for shipping, nor is it of general
+      // interest, but we still need it for the time being. Change the 
+      // false below to enable; just remember to change back before 
+      // committing. Bug 586721 will track the ultimate removal. 
+      if (false)
+        this._addDevMenu();
 
       // When you click on the background/empty part of TabView,
       // we create a new groupItem.
       iQ(gTabViewFrame.contentDocument).mousedown(function(e) {
         if (iQ(":focus").length > 0) {
           iQ(":focus").each(function(element) {
             if (element.nodeName == "INPUT")
               element.blur();