first cut of proposed updateWorkspaceFolders API

This commit is contained in:
Benjamin Pasero
2018-01-22 12:45:11 +01:00
parent 752c7b7877
commit f963973eef
7 changed files with 186 additions and 13 deletions

View File

@@ -86,6 +86,10 @@ export class ExtHostWorkspace implements ExtHostWorkspaceShape {
}
}
updateWorkspaceFolders(extensionName: string, index: number, deleteCount?: number, workspaceFoldersToAdd?: { uri: vscode.Uri, name?: string }[]): Thenable<boolean> {
return this._proxy.$updateWorkspaceFolders(extensionName, index, deleteCount, workspaceFoldersToAdd);
}
getWorkspaceFolder(uri: vscode.Uri, resolveParent?: boolean): vscode.WorkspaceFolder {
if (!this._workspace) {
return undefined;