refreshView method

void refreshView()

Re-applies the current viewport. Always uses the searched snapshot — the Rust side short-circuits to a plain snapshot when no search is active, so this is the same cost when idle and removes a class of Dart-side flag- desync bugs (e.g. a stale _searchActive after engine restart leaving match highlights stuck or absent).

Implementation

void refreshView() {
  _grid.apply(_binding.fullSnapshotSearched());
  SchedulerBinding.instance.scheduleFrame();
}