From 823960f7636f66b25ae2102dff70914de03bfc1e Mon Sep 17 00:00:00 2001 From: Alf Eaton Date: Tue, 25 May 2021 10:55:46 +0100 Subject: [PATCH] Merge pull request #4079 from overleaf/ae-ace-replace-range-symbol Replace all selected ranges when inserting symbol into source editor GitOrigin-RevId: bc0d7548f61fd740a87b34bb181516e8dc21fff1 --- services/web/frontend/js/ide/editor/directives/aceEditor.js | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/services/web/frontend/js/ide/editor/directives/aceEditor.js b/services/web/frontend/js/ide/editor/directives/aceEditor.js index 0fa47cfaba..d3468f9a5f 100644 --- a/services/web/frontend/js/ide/editor/directives/aceEditor.js +++ b/services/web/frontend/js/ide/editor/directives/aceEditor.js @@ -135,7 +135,11 @@ App.directive( ide.$scope.$on('editor:replace-selection', (event, text) => { editor.focus() - editor.insert(text) + const document = editor.session.getDocument() + const ranges = editor.selection.getAllRanges() + for (const range of ranges) { + document.replace(range, text) + } }) scope.$watch('autoPairDelimiters', autoPairDelimiters => {