diff options
author | Gaming4JC <g4jc@hyperbola.info> | 2019-07-15 22:01:06 -0400 |
---|---|---|
committer | Gaming4JC <g4jc@hyperbola.info> | 2019-07-15 22:01:06 -0400 |
commit | 87150eb7cbe80247602c9ddace7968e691dd4291 (patch) | |
tree | 46492b65e75c191231cd8ccc67218b4f5d243761 | |
parent | c4dab618c7a3b5bdefa56ce3a7f923feac9d2bca (diff) | |
download | iceweasel-uxp-87150eb7cbe80247602c9ddace7968e691dd4291.tar.gz |
Backport UXP #1177 - Remove WebIDE devtools component
-rw-r--r-- | components/customizableui/CustomizableUI.jsm | 5 | ||||
-rw-r--r-- | installer/package-manifest.in | 7 |
2 files changed, 0 insertions, 12 deletions
diff --git a/components/customizableui/CustomizableUI.jsm b/components/customizableui/CustomizableUI.jsm index 31126b3..67dd5df 100644 --- a/components/customizableui/CustomizableUI.jsm +++ b/components/customizableui/CustomizableUI.jsm @@ -38,7 +38,6 @@ const kPrefCustomizationState = "browser.uiCustomization.state"; const kPrefCustomizationAutoAdd = "browser.uiCustomization.autoAdd"; const kPrefCustomizationDebug = "browser.uiCustomization.debug"; const kPrefDrawInTitlebar = "browser.tabs.drawInTitlebar"; -const kPrefWebIDEInNavbar = "devtools.webide.widget.inNavbarByDefault"; const kExpectedWindowURL = "chrome://browser/content/browser.xul"; @@ -233,10 +232,6 @@ var CustomizableUIInternal = { navbarPlacements.splice(2, 0, "developer-button"); } - if (Services.prefs.getBoolPref(kPrefWebIDEInNavbar)) { - navbarPlacements.push("webide-button"); - } - // Place this last, when createWidget is called for pocket, it will // append to the toolbar. if (Services.prefs.getPrefType("extensions.pocket.enabled") != Services.prefs.PREF_INVALID && diff --git a/installer/package-manifest.in b/installer/package-manifest.in index 041f061..29d90fa 100644 --- a/installer/package-manifest.in +++ b/installer/package-manifest.in @@ -355,8 +355,6 @@ @RESPATH@/browser/components/nsBrowserGlue.js @RESPATH@/browser/components/devtools-startup.manifest @RESPATH@/browser/components/devtools-startup.js -@RESPATH@/browser/components/webideCli.js -@RESPATH@/browser/components/webideComponents.manifest @RESPATH@/browser/components/browser-newtab.xpt @RESPATH@/browser/components/aboutNewTabService.js @RESPATH@/browser/components/NewTabComponents.manifest @@ -565,11 +563,6 @@ @RESPATH@/browser/chrome/icons/default/default48.png #endif -; [Webide Files] -@RESPATH@/browser/chrome/webide@JAREXT@ -@RESPATH@/browser/chrome/webide.manifest -@RESPATH@/browser/@PREF_DIR@/webide-prefs.js - ; DevTools @RESPATH@/browser/chrome/devtools@JAREXT@ @RESPATH@/browser/chrome/devtools.manifest |