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

    The folding range provider interface defines the contract between extensions and Folding in the editor.

    interface FoldingRangeProvider {
        onDidChangeFoldingRanges?: Event<void>;
        provideFoldingRanges(
            document: TextDocument,
            context: FoldingContext,
            token: CancellationToken,
        ): ProviderResult<FoldingRange[]>;
    }
    Index

    Properties

    onDidChangeFoldingRanges?: Event<void>

    An optional event to signal that the folding ranges from this provider have changed.

    Methods