diff --git a/src/ace/Editor.js b/src/ace/Editor.js index 84a98148..1c0b4534 100644 --- a/src/ace/Editor.js +++ b/src/ace/Editor.js @@ -693,9 +693,9 @@ ace.Editor = function(renderer, doc) { }; this.replace = function(replacement) { - var range = this.getSelectionRange(); - range.end = this.doc.replace(range, replacement); - this.selection.setSelectionRange(range); + var range = this.$tryReplace(this.getSelectionRange(), replacement); + if (range !== null) + this.selection.setSelectionRange(range); }, this.replaceAll = function(replacement) { @@ -708,11 +708,22 @@ ace.Editor = function(renderer, doc) { for (var i=0; i