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

    Interface MultiDocumentHighlightDto

    interface MultiDocumentHighlightDto {
        highlights: DocumentHighlight[];
        uri: UriComponents;
    }
    Index

    Properties

    highlights uri

    Properties

    highlights: DocumentHighlight[]
    uri: UriComponents

    Settings

    Member Visibility

    On This Page

    Properties