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

    Interface DocumentRangeSemanticTokensProvider

    The document range semantic tokens provider interface defines the contract between extensions and semantic tokens.

    interface DocumentRangeSemanticTokensProvider {
        onDidChangeSemanticTokens?: Event<void>;
        provideDocumentRangeSemanticTokens(
            document: TextDocument,
            range: Range,
            token: CancellationToken,
        ): ProviderResult<SemanticTokens>;
    }
    Index

    Properties

    onDidChangeSemanticTokens?: Event<void>

    An optional event to signal that the semantic tokens from this provider have changed.

    Methods