Theia API Documentation v1.65.0
    Preparing search index...
    onDidChangeTextDocument: Event<TextDocumentChangeEvent>

    An event that is emitted when a text document is changed. This usually happens when the contents changes but also when other things like the dirty-state changes.