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 | 197f4cbaa47e5e8b9b1fb578b10046914eb6486e (patch) | |
tree | 88385023b67d603f70c6ae42a653a6f4e9b0ae26 /devtools/client/framework | |
parent | 69970c911be3c9189006c61fea7c059bf4f7e005 (diff) | |
download | UXP-197f4cbaa47e5e8b9b1fb578b10046914eb6486e.tar UXP-197f4cbaa47e5e8b9b1fb578b10046914eb6486e.tar.gz UXP-197f4cbaa47e5e8b9b1fb578b10046914eb6486e.tar.lz UXP-197f4cbaa47e5e8b9b1fb578b10046914eb6486e.tar.xz UXP-197f4cbaa47e5e8b9b1fb578b10046914eb6486e.zip |
Remove WebIDE devtools component.
This resolves #1123
Diffstat (limited to 'devtools/client/framework')
-rw-r--r-- | devtools/client/framework/devtools-browser.js | 17 | ||||
-rw-r--r-- | devtools/client/framework/gDevTools.jsm | 11 |
2 files changed, 0 insertions, 28 deletions
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 @@ -127,15 +127,8 @@ let gDevToolsBrowserMethods = [ "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; |