diff --git a/src/ace/Editor.js b/src/ace/Editor.js index 086a9e45..84a98148 100644 --- a/src/ace/Editor.js +++ b/src/ace/Editor.js @@ -698,6 +698,21 @@ ace.Editor = function(renderer, doc) { this.selection.setSelectionRange(range); }, + this.replaceAll = function(replacement) { + this.clearSelection(); + this.selection.moveCursorTo(0, 0); + + var ranges = this.$search.findAll(this.doc); + if (!ranges.length) + return; + + for (var i=0; i