onTapDown method
Implementation
void onTapDown(TapDownDetails details, BuildContext context, Widget widget) {
final localOffset = resolvePositionGestureDetails(details, context, widget);
if (localOffset != null) {
document.cursor.moveTo(localOffset.id, localOffset.offset);
// Collapse global selection
document.selectionManager.collapse();
document.syncPendingFontWithCursor();
// Tap does NOT mutate content: use cursor-only update to avoid
// invalidating caches and committing an empty undo delta.
document.cursorOnlyUpdate();
}
}