aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorRoberto Vidal <[email protected]>2019-04-11 07:08:19 +0100
committerRoberto Vidal <[email protected]>2019-04-14 09:04:38 +0100
commit3507bcb97aaaafba10d55c101bd295f3ab4fed4f (patch)
treee4febb3206524a6f07641c884734afef9c153674 /editors
parent23b876bc3b00c53ce24b8a99b4f4bf190fc6300e (diff)
Adds support for multiple editor workspaces on initialization
This is a quick, partial fix for #1104
Diffstat (limited to 'editors')
-rw-r--r--editors/code/src/server.ts7
1 files changed, 0 insertions, 7 deletions
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 {
17 let folder: string = '.'; 17 let folder: string = '.';
18 if (workspace.workspaceFolders !== undefined) { 18 if (workspace.workspaceFolders !== undefined) {
19 folder = workspace.workspaceFolders[0].uri.fsPath.toString(); 19 folder = workspace.workspaceFolders[0].uri.fsPath.toString();
20
21 if (workspace.workspaceFolders.length > 1) {
22 // Tell the user that we do not support multi-root workspaces yet
23 window.showWarningMessage(
24 'Multi-root workspaces are not currently supported'
25 );
26 }
27 } 20 }
28 21
29 const run: lc.Executable = { 22 const run: lc.Executable = {