setDiagnosticsFromPositions method
Applies typed diagnostic overlays from line/column positions.
Implementation
void setDiagnosticsFromPositions(
Iterable<TextPositionDiagnosticRange> diagnostics,
) {
final changed = _model.setDiagnosticsFromPositions(diagnostics);
if (changed) {
notifyListeners();
}
}