Merge branch 'master' of https://github.com/xtermjs/xterm.js into playwright

2020-02-12 23:53:53 -06:00
parent 2442dc09b0 c5593bde08
commit 258b084a62
22 changed files with 478 additions and 692 deletions
@@ -2,7 +2,7 @@
  "compilerOptions": {
    "lib": [
      "dom",
-      "es6",
+      "es6"
    ],
    "rootDir": ".",
    "outDir": "../../out-test/api",
@@ -13,6 +13,7 @@
    "removeComments": true,
    "pretty": true,
    "strict": true,
+    "declaration": true,
    "baseUrl": ".",
    "paths": {
      "browser/*": [