This is where the merge conflict in Editor would have been before I moved this method to Document. There, the fix was to change it from using the Editor's `_codeMirror.replaceRange()` to `document.replaceRange()` so it was using the same CodeMirror that was batching the edit. Now that we're in Document, we can just use our own `replaceRange()` since we're the ones batching the edit.