[Question] Get editor Position from character index in result of getData() call.

Hi, This issue is closed (#10997), asking the same question with no answer.

When we call editor.getData() we get back the raw html as text.

If we find some position of interest in that text, we need a way to map that back into an editor 'Position'.

I can find no function in the API to do this.....is there one ?

thanks