onTapDownWithPosition method
Implementation
void onTapDownWithPosition(
Offset localPosition,
RenderBox renderBox,
Widget widget,
) {
final paragraph = renderBox as RenderFluentParagraph;
final fragmentResult = paragraph.getFragmentAtPosition(localPosition);
if (fragmentResult != null) {
document.cursor.moveTo(fragmentResult.fragmentId, fragmentResult.localOffset);
// Collapse global selection
document.selectionManager.collapse();
document.syncPendingFontWithCursor();
// Tap does NOT mutate content: use cursor-only update.
document.cursorOnlyUpdate();
}
}