check that notebook controller are unique per id

This commit is contained in:
Johannes Rieken
2021-04-16 14:22:44 +02:00
parent 217359a80d
commit 95932045c7
6 changed files with 26 additions and 12 deletions

View File

@@ -924,7 +924,7 @@ export interface INotebookKernelDto2 {
export interface MainThreadNotebookKernelsShape extends IDisposable {
$postMessage(handle: number, editorId: string | undefined, message: any): Promise<boolean>;
$addKernel(handle: number, data: INotebookKernelDto2): void;
$addKernel(handle: number, data: INotebookKernelDto2): Promise<void>;
$updateKernel(handle: number, data: Partial<INotebookKernelDto2>): void;
$removeKernel(handle: number): void;
}