this.$syncOptions = function()

in frontend/src/assets/js/lib/ace/ext-searchbox.js [227:238]


        this.$syncOptions = function (preventScroll) {
            dom.setCssClass(this.replaceOption, "checked", this.searchRange);
            // dom.setCssClass(this.searchOption, "checked", this.searchOption.checked);
            this.replaceOption.textContent = this.replaceOption.checked ? "-" : "+";
            dom.setCssClass(this.regExpOption, "checked", this.regExpOption.checked);
            dom.setCssClass(this.wholeWordOption, "checked", this.wholeWordOption.checked);
            dom.setCssClass(this.caseSensitiveOption, "checked", this.caseSensitiveOption.checked);
            var readOnly = this.editor.getReadOnly();
            this.replaceOption.style.display = readOnly ? "none" : "";
            this.replaceBox.style.display = this.replaceOption.checked && !readOnly ? "" : "none";
            this.find(false, false, preventScroll);
        };