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/menus.js | |
| 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/menus.js')
| -rw-r--r-- | devtools/client/menus.js | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/devtools/client/menus.js b/devtools/client/menus.js index dbacb367d..23f024f04 100644 --- a/devtools/client/menus.js +++ b/devtools/client/menus.js @@ -86,17 +86,6 @@ exports.menuitems = [ }, checkbox: true }, - { id: "menu_webide", - l10nKey: "webide", - disabled: true, - oncommand() { - gDevToolsBrowser.openWebIDE(); - }, - key: { - id: "webide", - modifiers: "shift" - } - }, { id: "menu_browserToolbox", l10nKey: "browserToolboxMenu", disabled: true, |