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

    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.