diff options
author | Roberto Vidal <[email protected]> | 2019-04-11 07:08:19 +0100 |
---|---|---|
committer | Roberto Vidal <[email protected]> | 2019-04-14 09:04:38 +0100 |
commit | 3507bcb97aaaafba10d55c101bd295f3ab4fed4f (patch) | |
tree | e4febb3206524a6f07641c884734afef9c153674 /editors | |
parent | 23b876bc3b00c53ce24b8a99b4f4bf190fc6300e (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.ts | 7 |
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 = { |