Bug 771199 - [devtb] remove the Style Editor from the developer toolbar. r=dao
authorPaul Rouget <paul@mozilla.com>
Mon, 09 Jul 2012 14:32:20 +0200
changeset 98746 17867a57ffc205bae2c97aaffe3392741435faab
parent 98745 7ca8c657adae7a851ee7873093f703123c4a6933
child 98747 28473532325effedba1e79130dddf3c4ed27d954
push idunknown
push userunknown
push dateunknown
reviewersdao
bugs771199
milestone16.0a1
Bug 771199 - [devtb] remove the Style Editor from the developer toolbar. r=dao
browser/base/content/browser.js
--- a/browser/base/content/browser.js
+++ b/browser/base/content/browser.js
@@ -1472,17 +1472,19 @@ var gBrowserInit = {
     // Enable Style Editor?
     let styleEditorEnabled = gPrefService.getBoolPref(StyleEditor.prefEnabledName);
     if (styleEditorEnabled) {
       document.getElementById("menu_styleeditor").hidden = false;
       document.getElementById("Tools:StyleEditor").removeAttribute("disabled");
 #ifdef MENUBAR_CAN_AUTOHIDE
       document.getElementById("appmenu_styleeditor").hidden = false;
 #endif
-      document.getElementById("developer-toolbar-styleeditor").hidden = false;
+      // We don't show the Style Editor button in the developer toolbar for now.
+      // See bug 771203
+      // document.getElementById("developer-toolbar-styleeditor").hidden = false;
     }
 
 #ifdef MENUBAR_CAN_AUTOHIDE
     // If the user (or the locale) hasn't enabled the top-level "Character
     // Encoding" menu via the "browser.menu.showCharacterEncoding" preference,
     // hide it.
     if ("true" != gPrefService.getComplexValue("browser.menu.showCharacterEncoding",
                                                Ci.nsIPrefLocalizedString).data)