Interface EditorDocument

A single document in an editor session.

interface EditorDocument {
    documentId: string;
    editorSessionId: string;
    kernel: JupyterKernel;
    path: string;
}

Properties

documentId: string

The id of the document.

editorSessionId: string

The id of the editor session containing this document.

The current status of the kernel for the requested document.

path: string

The path to this document.