Paste over selection

[mike76-dev]

When a part of text is selected, paste replaces it but the caret moves by textToPaste.length (desired) + selection.length (undesired). When no text is selected, the behavior is as expected.

[mike76-dev]

    preventDefault(event)
    const text = ((event as any).originalEvent || event).clipboardData.getData("text/plain")
    const s = window.getSelection()
    const selection = !s.isCollapsed
    const pos = save()
    insert(text)
    highlight(editor)
    if (selection) {
        restore({start: pos.end, end: pos.end})
    } else {
        restore({start: pos.end + text.length, end: pos.end + text.length})
    }
  }

[antonmedv]

Can you make pr this change?

[mike76-dev]

Done.

[antonmedv]

Your solution was wrong. Fixed it in 84aaec0

[mike76-dev]

Was it? Well, to be honest, I just used some of your code in browser js where it did show this issue and my solution was able to fix it. Sorry if it didn't work out for you. Appreciate your work though.