Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface CustomDocumentContentChangeEvent<T>

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

see

CustomDocumentProvider.onDidChangeCustomDocument.

Type parameters

Hierarchy

  • CustomDocumentContentChangeEvent

Index

Properties

Properties

Readonly document

document: T

The document that the change is for.