From 197f4cbaa47e5e8b9b1fb578b10046914eb6486e Mon Sep 17 00:00:00 2001
From: wolfbeast <mcwerewolf@wolfbeast.com>
Date: Sat, 13 Jul 2019 02:41:46 +0200
Subject: Remove WebIDE devtools component.

This resolves #1123
---
 devtools/client/framework/devtools-browser.js | 17 -----------------
 devtools/client/framework/gDevTools.jsm       | 11 -----------
 2 files changed, 28 deletions(-)

(limited to 'devtools/client/framework')

diff --git a/devtools/client/framework/devtools-browser.js b/devtools/client/framework/devtools-browser.js
index 4d7176b4c..1b34e44e0 100644
--- a/devtools/client/framework/devtools-browser.js
+++ b/devtools/client/framework/devtools-browser.js
@@ -123,23 +123,6 @@ var gDevToolsBrowser = exports.gDevToolsBrowser = {
       win.DeveloperToolbar.show(false).catch(console.error);
     }
 
-    // Enable WebIDE?
-    let webIDEEnabled = Services.prefs.getBoolPref("devtools.webide.enabled");
-    idEls = [
-      "appmenu_webide",
-      "menu_webide"
-    ];
-    idEls.forEach(function (idEl) {
-      toggleMenuItem(idEl, webIDEEnabled);
-    });
-
-    let showWebIDEWidget = Services.prefs.getBoolPref("devtools.webide.widget.enabled");
-    if (webIDEEnabled && showWebIDEWidget) {
-      gDevToolsBrowser.installWebIDEWidget();
-    } else {
-      gDevToolsBrowser.uninstallWebIDEWidget();
-    }
-
     // Enable Browser Toolbox?
     let chromeEnabled = Services.prefs.getBoolPref("devtools.chrome.enabled");
     let devtoolsRemoteEnabled = Services.prefs.getBoolPref("devtools.debugger.remote-enabled");
diff --git a/devtools/client/framework/gDevTools.jsm b/devtools/client/framework/gDevTools.jsm
index d825c0eaa..6e0dc5e83 100644
--- a/devtools/client/framework/gDevTools.jsm
+++ b/devtools/client/framework/gDevTools.jsm
@@ -126,16 +126,9 @@ let gDevToolsBrowserMethods = [
   // Used by browser-sets.inc, command
   "openConnectScreen",
 
-  // Used by browser-sets.inc, command
-  //         itself, webide widget
-  "openWebIDE",
-
   // Used by browser-sets.inc, command
   "openContentProcessToolbox",
 
-  // Used by webide.js
-  "moveWebIDEWidgetInNavbar",
-
   // Used by browser.js
   "registerBrowserWindow",
 
@@ -146,10 +139,6 @@ let gDevToolsBrowserMethods = [
   "forgetBrowserWindow"
 ];
 this.gDevToolsBrowser = {
-  // Used by webide.js
-  get isWebIDEInitialized() {
-    return browser.isWebIDEInitialized;
-  },
   // Used by a test (should be removed)
   get _trackedBrowserWindows() {
     return browser._trackedBrowserWindows;
-- 
cgit v1.2.3