endBrush method
void
endBrush()
Ends the brush selection.
Implementation
void endBrush() {
if (extent == null) return;
if (extent!.size < widget.minSelectionSize) {
clearBrush();
} else {
extent = extent!.normalized;
widget.onBrushEnd?.call(extent!);
brushState = BrushState.idle;
setState(() {});
}
}