add kernel push to proposed API

This commit is contained in:
Johannes Rieken
2021-04-07 12:06:38 +02:00
parent 0791b3d49c
commit 38e4243e2d
5 changed files with 66 additions and 48 deletions

View File

@@ -902,10 +902,10 @@ export interface MainThreadNotebookDocumentsShape extends IDisposable {
export interface INotebookKernelDto2 {
id: string;
selector: NotebookSelector;
displayName: string;
label: string;
executeCommand: ICommandDto;
interruptCommand?: ICommandDto;
detail?: string;
description?: string;
isPreferred?: boolean;
supportedLanguages: string[];