selectPreviousDiagnostic method
Selects the previous diagnostic range.
Implementation
bool selectPreviousDiagnostic({bool wrap = true}) {
final before = _TextAreaControllerSnapshot.capture(_model);
final changed = _model.selectPreviousDiagnostic(wrap: wrap);
if (changed && !before.matches(_model)) {
notifyListeners();
}
return changed;
}