this.find = function()

in frontend/src/assets/js/lib/ace/ext-searchbox.js [245:261]


        this.find = function (skipCurrent, backwards, preventScroll) {
            var range = this.editor.find(this.searchInput.value, {
                skipCurrent: skipCurrent,
                backwards: backwards,
                wrap: true,
                regExp: this.regExpOption.checked,
                caseSensitive: this.caseSensitiveOption.checked,
                wholeWord: this.wholeWordOption.checked,
                preventScroll: preventScroll,
                range: this.searchRange
            });
            var noMatch = !range && this.searchInput.value;
            dom.setCssClass(this.searchBox, "ace_nomatch", noMatch);
            this.editor._emit("findSearchBox", {match: !noMatch});
            this.highlight();
            this.updateCounter();
        };