You mean piping into editors? I'm working on something related; most editors don't handle cursor repositioning very well when you dumbly refresh the content wit

You mean piping into editors? I'm working on something related; most editors don't handle cursor repositioning very well when you dumbly refresh the content without going through editor-specific APIs.