diff options
author | New Tobin Paradigm <email@mattatobin.com> | 2019-07-14 09:12:34 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-14 09:12:34 -0400 |
commit | 91a27750b3fccaba162ec988d189a57d947776e4 (patch) | |
tree | bda6d2b282c27710e183030d09649c45e1b82be5 /application | |
parent | ee33f35b324110857b2854b30dd37936b2090e58 (diff) | |
parent | 197f4cbaa47e5e8b9b1fb578b10046914eb6486e (diff) | |
download | UXP-91a27750b3fccaba162ec988d189a57d947776e4.tar UXP-91a27750b3fccaba162ec988d189a57d947776e4.tar.gz UXP-91a27750b3fccaba162ec988d189a57d947776e4.tar.lz UXP-91a27750b3fccaba162ec988d189a57d947776e4.tar.xz UXP-91a27750b3fccaba162ec988d189a57d947776e4.zip |
Merge pull request #1177 from MoonchildProductions/remove_webide
Remove WebIDE devtools component.
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 d56d63d99..a58d33a6d 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 && |