Update Configure Python dialog to allow packages to be installed for specific kernels. (#10286)

This commit is contained in:
Cory Rivera
2020-05-08 16:02:59 -07:00
committed by GitHub
parent 9bcd7cdd80
commit f94a9d0d58
23 changed files with 1045 additions and 95 deletions

View File

@@ -184,12 +184,12 @@ class ServerManagerWrapper implements azdata.nb.ServerManager {
return this.onServerStartedEmitter.event;
}
startServer(): Thenable<void> {
return this.doStartServer();
startServer(kernelSpec: azdata.nb.IKernelSpec): Thenable<void> {
return this.doStartServer(kernelSpec);
}
private async doStartServer(): Promise<void> {
await this._proxy.ext.$doStartServer(this.handle);
private async doStartServer(kernelSpec: azdata.nb.IKernelSpec): Promise<void> {
await this._proxy.ext.$doStartServer(this.handle, kernelSpec);
this._isStarted = true;
this.onServerStartedEmitter.fire();
}

View File

@@ -54,8 +54,8 @@ export class ExtHostNotebook implements ExtHostNotebookShape {
}
}
$doStartServer(managerHandle: number): Thenable<void> {
return this._withServerManager(managerHandle, (serverManager) => serverManager.startServer());
$doStartServer(managerHandle: number, kernelSpec: azdata.nb.IKernelSpec): Thenable<void> {
return this._withServerManager(managerHandle, (serverManager) => serverManager.startServer(kernelSpec));
}
$doStopServer(managerHandle: number): Thenable<void> {

View File

@@ -806,7 +806,7 @@ export interface ExtHostNotebookShape {
$handleNotebookClosed(notebookUri: UriComponents): void;
// Server Manager APIs
$doStartServer(managerHandle: number): Thenable<void>;
$doStartServer(managerHandle: number, kernelSpec: azdata.nb.IKernelSpec): Thenable<void>;
$doStopServer(managerHandle: number): Thenable<void>;
// Content Manager APIs