Theia API Documentation v1.65.0
    Preparing search index...
    interface NotebookEditorsExt {
        $acceptEditorPropertiesChanged(
            id: string,
            data: NotebookEditorPropertiesChangeData,
        ): void;
        $acceptEditorViewColumns(data: NotebookEditorViewColumnInfo): void;
    }

    Implemented by

    Index

    Methods