selectDiagnosticAtLine method
Selects the diagnostic that covers lineIndex, if any.
Implementation
bool selectDiagnosticAtLine(int lineIndex) {
final before = _TextAreaControllerSnapshot.capture(_model);
final changed = _model.selectDiagnosticAtLine(lineIndex);
if (changed && !before.matches(_model)) {
notifyListeners();
}
return changed;
}