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

This avoids conflicts with other extensions like https://github.com/dragos/dragos-vscode-scala
scala · Jun 17, 2017 · 26b8a6c · 26b8a6c
1 parent 21b3149
commit 26b8a6c
Showing 1 changed file with 1 addition and 1 deletion.
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": [
     {