From fd2cd9c383b07cd681c18137396deae025d98047 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Wed, 3 Jan 2018 14:42:06 +0100
Subject: fix lint issues and separate message types into multiple files

---
 gulpfile.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'gulpfile.js')

diff --git a/gulpfile.js b/gulpfile.js
index cb385f043..f8e0c90fa 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -107,7 +107,7 @@ const tsBaseArgs = {
   experimentalDecorators: true,
   module: "commonjs",
   sourceMap: true,
-  lib: ["ES6", "DOM"],
+  lib: ["es6", "dom"],
   noImplicitReturns: true,
   noFallthroughCasesInSwitch: true,
   strict: true,
@@ -266,6 +266,7 @@ gulp.task("pogen", function (cb) {
  */
 function tsconfig(confBase) {
   let conf = {
+    compileOnSave: true,
     compilerOptions: {},
     files: []
   };
-- 
cgit v1.2.3