Interface SelectedNotebookKernelChangeEvent

interface SelectedNotebookKernelChangeEvent {
    newKernel: undefined | string;
    notebook: URI;
    oldKernel: undefined | string;
}

Properties

newKernel: undefined | string
notebook: URI
oldKernel: undefined | string