Index: third_party/WebKit/Source/devtools/front_end/terminal/module.json |
diff --git a/third_party/WebKit/Source/devtools/front_end/terminal/module.json b/third_party/WebKit/Source/devtools/front_end/terminal/module.json |
new file mode 100644 |
index 0000000000000000000000000000000000000000..1c4dfc67eefe33dbfb259ede1f83be532f2e2a23 |
--- /dev/null |
+++ b/third_party/WebKit/Source/devtools/front_end/terminal/module.json |
@@ -0,0 +1,32 @@ |
+{ |
+ "extensions": [ |
+ { |
+ "type": "view", |
+ "location": "drawer-view", |
+ "id": "drawer.xterm", |
+ "title": "Terminal", |
+ "order": 10, |
+ "persistence": "closeable", |
+ "factoryName": "WebInspector.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" |
+ ] |
+} |