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

    Class MultiDocumentHighlight

    Represents a collection of document highlights from multiple documents.

    Index

    Constructors

    Properties

    Constructors

    Properties

    highlights: DocumentHighlight[]

    The highlights for the document.

    uri: Uri

    The URI of the document containing the highlights.