@Override
public InputEditorSelection search(
String needle,
boolean backwards,
boolean wrap,
boolean caseSensitive,
boolean wholeWord,
Position start,
Range range,
boolean regexpMode) {
Search search =
Search.create(needle, backwards, wrap, caseSensitive, wholeWord, start, range, regexpMode);
Range resultRange = search.find(getSession());
if (resultRange != null) {
return createSelection(resultRange.getStart(), resultRange.getEnd());
} else {
return null;
}
}