{ | |
"extensions": [ | |
{ | |
"type": "view", | |
"location": "drawer-sidebar", | |
"id": "drawer.xterm", | |
"title": "Terminal", | |
"order": 10, | |
"factoryName": "Terminal.TerminalWidget" | |
} | |
], | |
"dependencies": [ | |
"components", | |
"ui", | |
"services" | |
], | |
"experiment": "terminalInDrawer", | |
"scripts": [ | |
"xterm.js/build/xterm.js", | |
"xterm.js/addons/fit/fit.js", | |
"TerminalWidget.js" | |
], | |
"skip_compilation": [ | |
"xterm.js/build/xterm.js", | |
"xterm.js/addons/fit/fit.js" | |
], | |
"resources": [ | |
"terminal.css", | |
"xterm.js/build/xterm.css" | |
] | |
} |