Theia API Documentation v1.65.0
    Preparing search index...
    onDidSaveTextDocument: Event<TextDocument>

    An event that is emitted when a text document is saved to disk.