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

    Interface HighlightInfo

    interface HighlightInfo {
        filterText: undefined | string;
        matched: number;
        total: number;
    }
    Index

    Properties

    filterText matched total

    Properties

    filterText: undefined | string
    matched: number
    total: number

    Settings

    Member Visibility

    On This Page

    Properties