diff options
| author | Roberto Vidal <vidal.roberto.j@gmail.com> | 2019-04-11 08:08:19 +0200 |
|---|---|---|
| committer | Roberto Vidal <vidal.roberto.j@gmail.com> | 2019-04-14 10:04:38 +0200 |
| commit | 3507bcb97aaaafba10d55c101bd295f3ab4fed4f (patch) | |
| tree | e4febb3206524a6f07641c884734afef9c153674 /editors/code | |
| parent | 23b876bc3b00c53ce24b8a99b4f4bf190fc6300e (diff) | |
| download | rust-3507bcb97aaaafba10d55c101bd295f3ab4fed4f.tar.gz rust-3507bcb97aaaafba10d55c101bd295f3ab4fed4f.zip | |
Adds support for multiple editor workspaces on initialization
This is a quick, partial fix for #1104
Diffstat (limited to 'editors/code')
| -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 f319f148a34..5e9a1934037 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 = { |