diff --git a/lib/ace/editor.js b/lib/ace/editor.js index b6d74b20..2e27deca 100644 --- a/lib/ace/editor.js +++ b/lib/ace/editor.js @@ -1151,12 +1151,17 @@ var Editor = function(renderer, session) { this.$search.set(options); var range = this.$search.find(this.session); + var replaced = 0; if (!range) - return; + return replaced; - this.$tryReplace(range, replacement); + if(this.$tryReplace(range, replacement)) { + replaced = 1; + } if (range !== null) this.selection.setSelectionRange(range); + + return replaced; }; this.replaceAll = function(replacement, options) { @@ -1165,19 +1170,25 @@ var Editor = function(renderer, session) { } var ranges = this.$search.findAll(this.session); + var replaced = 0; if (!ranges.length) - return; + return replaced; var selection = this.getSelectionRange(); this.clearSelection(); this.selection.moveCursorTo(0, 0); this.$blockScrolling += 1; - for (var i = ranges.length - 1; i >= 0; --i) - this.$tryReplace(ranges[i], replacement); + for (var i = ranges.length - 1; i >= 0; --i) { + if(this.$tryReplace(ranges[i], replacement)) { + replaced++; + } + } this.selection.setSelectionRange(selection); this.$blockScrolling -= 1; + + return replaced; }; this.$tryReplace = function(range, replacement) {