refreshView method

void refreshView()

Re-applies the current viewport. Uses EngineBinding.searchIsActive to pick fullSnapshotSearched vs fullSnapshot so search highlights stay in sync with the engine without a stale Dart-side search flag.

Implementation

void refreshView() {
  if (_disposed) return;
  final update = _binding.searchIsActive()
      ? _binding.fullSnapshotSearched()
      : _binding.fullSnapshot();
  _grid.apply(update);
  SchedulerBinding.instance.scheduleFrame();
}