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 | d7775210c7ece20657e5e73d847e1e9dff2a7fe7 (patch) | |
| tree | d8f687d437d80b87f74eeca9a91c46faf23b6284 | |
| parent | 1804ba8231ea1e9665acc5c9f24aa28b3a6b0f03 (diff) | |
| download | basilisk-d7775210c7ece20657e5e73d847e1e9dff2a7fe7.tar.gz | |
Remove WebIDE devtools component.
This resolves MoonchildProductions/UXP#1123
| -rw-r--r-- | basilisk/components/customizableui/CustomizableUI.jsm | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/basilisk/components/customizableui/CustomizableUI.jsm b/basilisk/components/customizableui/CustomizableUI.jsm index d56d63d..a58d33a 100644 --- a/basilisk/components/customizableui/CustomizableUI.jsm +++ b/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 && |