var SearchBox = function()

in frontend/src/assets/js/lib/ace/ext-searchbox.js [23:55]


    var SearchBox = function (editor, range, showReplaceForm) {
        var div = dom.createElement("div");
        dom.buildDom(["div", {class: "ace_search"},
            ["div", {class: "ace_search_options"},
                ["span", {
                    action: "toggleReplace", class: "ace_button", title: "Toggle Replace mode",
                    style: "float:left;margin-top:-2px;padding:0 5px;"
                }, "+"],
                ["span", {action: "toggleRegexpMode", class: "ace_button", title: "RegExp Search"}, ".*"],
                ["span", {action: "toggleCaseSensitive", class: "ace_button", title: "CaseSensitive Search"}, "Aa"],
                ["span", {action: "toggleWholeWords", class: "ace_button", title: "Whole Word Search"}, "W"],
                ["span", {class: "ace_search_counter"}],
                ["span", {action: "findPrev", class: "ace_searchbtn prev"}, "\u200b"],
                ["span", {action: "findNext", class: "ace_searchbtn next"}, "\u200b"],
                // ["span", {action: "searchInSelection", class: "ace_button", title: "Search In Selection"}, "S"]
            ],
            ["div", {class: "ace_search_form"},
                ["input", {class: "ace_search_field", placeholder: "Search for", spellcheck: "false"},],
            ],
            ["div", {class: "ace_replace_form"},
                ["input", {class: "ace_search_field", placeholder: "Replace with", spellcheck: "false"}],
                ["span", {action: "replaceAndFindNext", class: "ace_searchbtn"}, "Replace"],
                ["span", {action: "replaceAll", class: "ace_searchbtn"}, "All"]
            ],
        ], div);
        this.element = div.firstChild;

        this.setSession = this.setSession.bind(this);

        this.$init();
        this.setEditor(editor);
        dom.importCssString(searchboxCss, "ace_searchbox", editor.container);
    };