diff options
| author | wolfbeast <mcwerewolf@wolfbeast.com> | 2019-07-13 02:41:46 +0200 |
|---|---|---|
| committer | wolfbeast <mcwerewolf@wolfbeast.com> | 2019-07-13 02:41:46 +0200 |
| commit | 02a8f3d5a0c2af01444c4880986b6f68ce9bcfaa (patch) | |
| tree | 88385023b67d603f70c6ae42a653a6f4e9b0ae26 /application | |
| parent | ddfc7646e38a90ee39a8bd6e4dd668c192580422 (diff) | |
| download | uxp-02a8f3d5a0c2af01444c4880986b6f68ce9bcfaa.tar.gz | |
Remove WebIDE devtools component.
This resolves #1123
Diffstat (limited to 'application')
| -rw-r--r-- | application/basilisk/components/customizableui/CustomizableUI.jsm | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/application/basilisk/components/customizableui/CustomizableUI.jsm b/application/basilisk/components/customizableui/CustomizableUI.jsm index d56d63d996..a58d33a6db 100644 --- a/application/basilisk/components/customizableui/CustomizableUI.jsm +++ b/application/basilisk/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"; @@ -230,10 +229,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 && |