Provide additional workspace API to add/remove workspace folders (for #35407) (#36820)

* Provide additional workspace API to add/remove workspace folders (for #35407)

* add/removeFolders => add/removeFolder

* make add/remove folder return a boolean

* use proper service for workspace editing

* workspac => workspace

* do not log promise canceled messages

* show confirm dialog
This commit is contained in:
Benjamin Pasero
2017-10-30 13:49:48 +00:00
committed by GitHub
parent 7ebc20495c
commit 80ece09d7f
7 changed files with 118 additions and 10 deletions

View File

@@ -403,6 +403,12 @@ export function createApiFactory(
set name(value) {
throw errors.readonly();
},
addWorkspaceFolder(uri, name) {
return extHostWorkspace.addWorkspaceFolder(extension.displayName || extension.name, uri, name);
},
removeWorkspaceFolder(folder) {
return extHostWorkspace.removeWorkspaceFolder(extension.displayName || extension.name, folder);
},
onDidChangeWorkspaceFolders: function (listener, thisArgs?, disposables?) {
return extHostWorkspace.onDidChangeWorkspace(listener, thisArgs, disposables);
},