enter workspace - result can be null if operation permitted

This commit is contained in:
Benjamin Pasero 2019-04-24 17:35:18 +02:00
parent 24b15afde4
commit 001e6087ff

View file

@ -74,9 +74,11 @@ export class WindowsService implements IWindowsService {
return this.channel.call('closeWorkspace', windowId);
}
enterWorkspace(windowId: number, path: URI): Promise<IEnterWorkspaceResult> {
enterWorkspace(windowId: number, path: URI): Promise<IEnterWorkspaceResult | undefined> {
return this.channel.call('enterWorkspace', [windowId, path]).then((result: IEnterWorkspaceResult) => {
if (result) {
result.workspace = reviveWorkspaceIdentifier(result.workspace);
}
return result;
});
}