diff options
Diffstat (limited to 'editors/code/src')
| -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 = { |