From ef85d51bb61e0d41ecb1b076cf23ed650c58c1a2 Mon Sep 17 00:00:00 2001
From: Martin Duhem <martin.duhem@gmail.com>
Date: Thu, 11 Oct 2018 15:54:35 +0200
Subject: [PATCH] Fix #5242: Don't run all Scala files as worksheets

When initializing the `WorksheetRunFeature`, we were specifying that the
feature should apply to all files where the `document selector` matches
that of the Dotty plugin, or files in the Scala language whose name ends
in `.sc`. Unfortunately, this matches all `.scala` files, and these were
run as worksheets.

This commit changes the document selector for the `WorksheetRunFeature`
so that Scala files are not run as if they were worksheets.
---
 vscode-dotty/src/features.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vscode-dotty/src/features.ts b/vscode-dotty/src/features.ts
index edccdc248ed0..8416048aa86e 100644
--- a/vscode-dotty/src/features.ts
+++ b/vscode-dotty/src/features.ts
@@ -48,7 +48,7 @@ export class WorksheetRunFeature extends TextDocumentFeature<TextDocumentRegistr
       return
     }
 
-    const selector: DocumentSelector = documentSelector || [ { language: 'scala', pattern: '**/*.sc' } ]
+    const selector: DocumentSelector = [ { language: 'scala', pattern: '**/*.sc' } ]
     this.register(this.messages, {
       id: generateUuid(),
       registerOptions: { documentSelector: selector }