DevToolsFind constructor

DevToolsFind(List<FindSource> sources)

Implementation

DevToolsFind(this.sources) : _hits = List.filled(sources.length, const []) {
  for (var tab = 0; tab < sources.length; tab++) {
    // A busy app changes its data constantly; re-searching on every change would keep the panel busy too.
    final refresh = Throttle(_refreshInterval, () => _refresh(tab));
    _refreshers.add(refresh);
    sources[tab].changes?.addListener(refresh.call);
  }
}