Only start the Dotty VSCode extension if .dotty-ide.json exists

smarter · smarter · commit 26b8a6c7644c · 2017-06-17T19:58:14.000+02:00
This avoids conflicts with other extensions like https://github.com/dragos/dragos-vscode-scala
diff --git a/vscode-dotty/package.json b/vscode-dotty/package.json
@@ -18,7 +18,7 @@
   ],
   "main": "./out/src/extension",
   "activationEvents": [
-    "onLanguage:scala"
+    "workspaceContains:.dotty-ide.json"
   ],
   "languages": [
     {

Original file line number	Diff line number	Diff line change
`@@ -18,7 +18,7 @@`
`18`	`18`	`],`
`19`	`19`	`"main": "./out/src/extension",`
`20`	`20`	`"activationEvents": [`
`21`		`- "onLanguage:scala"`
	`21`	`+ "workspaceContains:.dotty-ide.json"`
`22`	`22`	`],`
`23`	`23`	`"languages": [`
`24`	`24`	`{`