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 · ec97e85 · ec97e85
1 parent 21b3149
commit ec97e85
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/vscode-dotty/package.json b/vscode-dotty/package.json
@@ -2,7 +2,7 @@
   "name": "dotty",
   "displayName": "Dotty Language Server",
   "description": "IDE integration for Dotty, the experimental Scala compiler",
-  "version": "0.1.0",
+  "version": "0.1.1",
   "license": "BSD-3-Clause",
   "publisher": "lampepfl",
   "repository": {
@@ -18,7 +18,7 @@
   ],
   "main": "./out/src/extension",
   "activationEvents": [
-    "onLanguage:scala"
+    "workspaceContains:.dotty-ide.json"
   ],
   "languages": [
     {