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 /devtools/client/menus.js | |
| 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 '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, |