Method input_finger_touch_down

src/RichTextUserInput.cpp:130–135

}

void RichTextUserInput::input_finger_touch_down(const Vector2f& pos) {
    RichText::TextBox::Cursor oldCursor = *cursor;
    cursor->pos = cursor->selectionBeginPos = cursor->selectionEndPos = textBox->get_text_pos_closest_to_point(pos);
    if(oldCursor != *cursor)
        android_force_update_cursor();
}

void RichTextUserInput::input_finger_held_motion(const Vector2f& pos) {
    RichText::TextBox::Cursor oldCursor = *cursor;