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

    A search hit produced by a contribution. The view collects these from all contributions and orders them globally by fuzzy-match against the current query, so the most relevant hits surface first regardless of which contribution produced them.

    interface SearchResult {
        element: TreeElement;
        searchableText: string;
    }
    Index

    Properties

    element: TreeElement
    searchableText: string

    Text the global fuzzy matcher should consider when ranking this entry - typically a concatenation of the entry's most distinctive fields (name, identifier, description, etc.). Contributions are encouraged to include anything the user might plausibly have searched for.