274275276277278279280281282283284
range, regex); try { Range resultRange = search.find(editor_.getSession()); if (resultRange == null) { if (!incremental) { globalDisplay_.showMessage(GlobalDisplay.MSG_INFO,