diff options
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 = { |