Function writeErr

src/controller.ts:106–111

(execution: vscode.NotebookCellExecution, err: string)

}

function writeErr(execution: vscode.NotebookCellExecution, err: string) {
  execution.replaceOutput([
    new vscode.NotebookCellOutput([vscode.NotebookCellOutputItem.text(err)]),
  ]);
  execution.end(false, Date.now());
}

const { text, json } = vscode.NotebookCellOutputItem;