OLD | NEW |
(Empty) | |
| 1 { |
| 2 "extensions": [ |
| 3 { |
| 4 "type": "view", |
| 5 "location": "drawer-view", |
| 6 "id": "drawer.xterm", |
| 7 "title": "Terminal", |
| 8 "order": 10, |
| 9 "persistence": "closeable", |
| 10 "factoryName": "WebInspector.TerminalWidget" |
| 11 } |
| 12 ], |
| 13 "dependencies": [ |
| 14 "components", |
| 15 "ui", |
| 16 "services" |
| 17 ], |
| 18 "experiment": "terminalInDrawer", |
| 19 "scripts": [ |
| 20 "xterm.js/build/xterm.js", |
| 21 "xterm.js/addons/fit/fit.js", |
| 22 "TerminalWidget.js" |
| 23 ], |
| 24 "skip_compilation": [ |
| 25 "xterm.js/build/xterm.js", |
| 26 "xterm.js/addons/fit/fit.js" |
| 27 ], |
| 28 "resources": [ |
| 29 "terminal.css", |
| 30 "xterm.js/build/xterm.css" |
| 31 ] |
| 32 } |
OLD | NEW |