Create method setCursorPosition(int, int) in TexEditor. Fixes #796