summaryrefslogtreecommitdiffstats
path: root/devtools/client/framework
diff options
context:
space:
mode:
authorwolfbeast <mcwerewolf@wolfbeast.com>2019-07-13 02:41:46 +0200
committerwolfbeast <mcwerewolf@wolfbeast.com>2019-07-13 02:41:46 +0200
commit197f4cbaa47e5e8b9b1fb578b10046914eb6486e (patch)
tree88385023b67d603f70c6ae42a653a6f4e9b0ae26 /devtools/client/framework
parent69970c911be3c9189006c61fea7c059bf4f7e005 (diff)
downloadUXP-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.js17
-rw-r--r--devtools/client/framework/gDevTools.jsm11
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;