- {
- if(edit_pos<text.size())
- set_edit_position(edit_pos+1, select);
- }
+ set_edit_position(text.move_offset(edit_pos, 1), select);
text.offset_to_coords(edit_pos, row, col);
set_edit_position((row>0 ? text.coords_to_offset(row-1, col) : 0), select);
}
text.offset_to_coords(edit_pos, row, col);
set_edit_position((row>0 ? text.coords_to_offset(row-1, col) : 0), select);
}