delete untitled workspace on enter

This commit is contained in:
Martin Aeschlimann
2019-01-25 12:52:54 +01:00
parent 2331b990f2
commit 1abe1c7ca0
6 changed files with 17 additions and 29 deletions
@@ -32,11 +32,6 @@ export class WorkspacesChannel implements IServerChannel {
return this.service.createUntitledWorkspace(folders);
}
case 'deleteIfUntitledWorkspace': {
const rawWorkspace: IWorkspaceIdentifier = arg;
// TODO aeschli: resolve IWorkspaceIdentifier when switching to URI
return this.service.deleteIfUntitledWorkspace(rawWorkspace);
}
}
throw new Error(`Call not found: ${command}`);
@@ -52,8 +47,4 @@ export class WorkspacesChannelClient implements IWorkspacesService {
createUntitledWorkspace(folders?: IWorkspaceFolderCreationData[]): Promise<IWorkspaceIdentifier> {
return this.channel.call('createUntitledWorkspace', folders);
}
deleteIfUntitledWorkspace(workspace: IWorkspaceIdentifier): Promise<void> {
return this.channel.call('deleteIfUntitledWorkspace', workspace);
}
}