Interface SelectedNotebookKernelChangeEvent

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