Theia API Documentation v1.65.0
    Preparing search index...

    Interface MappedEditsProvider2

    Interface for providing mapped edits for a given document.

    interface MappedEditsProvider2 {
        provideMappedEdits(
            request: MappedEditsRequest,
            result: MappedEditsResponseStream,
            token: CancellationToken,
        ): ProviderResult<MappedEditsResult>;
    }
    Index

    Methods

    provideMappedEdits

    Methods

    Settings

    Member Visibility

    On This Page

    Methods