Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/commands.ts')
-rw-r--r--editors/code/src/commands.ts14
1 files changed, 9 insertions, 5 deletions
diff --git a/editors/code/src/commands.ts b/editors/code/src/commands.ts
index beff8501dc..a8ec75a78a 100644
--- a/editors/code/src/commands.ts
+++ b/editors/code/src/commands.ts
@@ -756,14 +756,18 @@ export function addProject(ctx: CtxInit): Cmd {
return;
}
- let workspaces: JsonProject[] = await Promise.all(vscode.workspace.workspaceFolders!.map(async (folder): Promise<JsonProject> => {
- return discoverWorkspace(vscode.workspace.textDocuments, discoverProjectCommand, { cwd: folder.uri.fsPath });
- }));
+ const workspaces: JsonProject[] = await Promise.all(
+ vscode.workspace.workspaceFolders!.map(async (folder): Promise<JsonProject> => {
+ return discoverWorkspace(vscode.workspace.textDocuments, discoverProjectCommand, {
+ cwd: folder.uri.fsPath,
+ });
+ })
+ );
await ctx.client.sendRequest(ra.addProject, {
- project: workspaces
+ project: workspaces,
});
- }
+ };
}
async function showReferencesImpl(