function ModifiedSearch(searchbox, isReplace) {
    var sb = editor.searchBox || new searchbox.SearchBox(editor);
    sb.$searchBarKb.bindKeys({
      "Ctrl-F|Command-F": function(sb) {
        sb.findNext();
        if (sb.activeInput == sb.searchInput) {
          sb.searchInput.select();
        }
      },
      "Ctrl-H|Command-Option-F": function(sb) {
        if (!sb.isReplace) {
          sb.isReplace = true;
          sb.replaceBox.style.display = "";
          sb.replaceInput.focus();
        } else if (sb.activeInput == sb.replaceInput) {
          sb.replace();
          sb.findNext();
        } else {
          sb.replaceInput.focus();
        }
      }
    });
    sb.show(editor.session.getTextRange(), isReplace);
  }
// by keyboard, so it is less likely to happen by accident.
by keyboard, so it is less likely to happen by accident.
by keyboard so it is less likely to happen by accident .
function ModifiedSearch(searchbox, isReplace) {
    var sb = editor.searchBox || new searchbox.SearchBox(editor);
    sb.$searchBarKb.bindKeys({
      "Ctrl-F|Command-F": function(sb) {
        sb.findNext();
        if (sb.activeInput == sb.searchInput) {
          sb.searchInput.select();
        }
      },
      "Ctrl-H|Command-Option-F": function(sb) {
        if (!sb.isReplace) {
          sb.isReplace = true;
          sb.replaceBox.style.display = "";
          sb.replaceInput.focus();
        } else if (sb.activeInput == sb.replaceInput) {
          sb.replace();
          sb.findNext();
        } else {
          sb.replaceInput.focus();
        }
      }
    });
    sb.show(editor.session.getTextRange(), isReplace);
  }
function ModifiedSearch ( searchbox , isReplace ) { var sb = editor . searchBox || new searchbox . SearchBox ( editor ) ; sb . $searchBarKb . bindKeys ( { "Ctrl-F|Command-F" : function ( sb ) { sb . findNext ( ) ; if ( sb . activeInput == sb . searchInput ) { sb . searchInput . select ( ) ; } } , "Ctrl-H|Command-Option-F" : function ( sb ) { if ( ! sb . isReplace ) { sb . isReplace = true ; sb . replaceBox . style . display = "" ; sb . replaceInput . focus ( ) ; } else if ( sb . activeInput == sb . replaceInput ) { sb . replace ( ) ; sb . findNext ( ) ; } else { sb . replaceInput . focus ( ) ; } } } ) ; sb . show ( editor . session . getTextRange ( ) , isReplace ) ; }
by keyboard, so it is less likely to happen by accident.
by keyboard so it is less likely to happen by accident .