From ec97e85eb28307e2af68ccaa3ad718c819cb4aaf Mon Sep 17 00:00:00 2001
From: Guillaume Martres <smarter@ubuntu.com>
Date: Sat, 17 Jun 2017 19:35:49 +0200
Subject: [PATCH] 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
---
 vscode-dotty/package.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/vscode-dotty/package.json b/vscode-dotty/package.json
index ccd7d289b2c7..e670173deab0 100644
--- 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": [
     {