Interface CustomDocumentContentChangeEvent<T>

Event triggered by extensions to signal to Theia that the content of a CustomDocument has changed.

See

CustomEditorProvider.onDidChangeCustomDocument.

interface CustomDocumentContentChangeEvent<
T extends CustomDocument = CustomDocument,
> {
document: T;
}

Type Parameters

T extends CustomDocument = CustomDocument

Index

Properties

Properties

`Readonly`document

document: T

The document that the change is for.