TerminalSearchResult.empty constructor

TerminalSearchResult.empty()

creates an empty search result

Implementation

TerminalSearchResult.empty()
    : _allHits = List<TerminalSearchHit>.empty(growable: false);