From 3507bcb97aaaafba10d55c101bd295f3ab4fed4f Mon Sep 17 00:00:00 2001
From: Roberto Vidal <vidal.roberto.j@gmail.com>
Date: Thu, 11 Apr 2019 08:08:19 +0200
Subject: Adds support for multiple editor workspaces on initialization

This is a quick, partial fix for #1104
---
 editors/code/src/server.ts | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'editors')

diff --git a/editors/code/src/server.ts b/editors/code/src/server.ts
index f319f148a..5e9a19340 100644
--- a/editors/code/src/server.ts
+++ b/editors/code/src/server.ts
@@ -17,13 +17,6 @@ export class Server {
         let folder: string = '.';
         if (workspace.workspaceFolders !== undefined) {
             folder = workspace.workspaceFolders[0].uri.fsPath.toString();
-
-            if (workspace.workspaceFolders.length > 1) {
-                // Tell the user that we do not support multi-root workspaces yet
-                window.showWarningMessage(
-                    'Multi-root workspaces are not currently supported'
-                );
-            }
         }
 
         const run: lc.Executable = {
-- 
cgit v1.2.3