text = text.toUpperCase();
pattern = pattern.toUpperCase();
int pos = textComp.getCaretPosition();
if ((pos = text.indexOf(pattern, pos)) != -1)
if (findAll == 0) {
hilite.addHighlight(pos, pos + pattern.length(), myHighlightPainter);
textComp.setCaretPosition(pos + pattern.length());
textComp.setSelectionStart(pos);
textComp.setSelectionEnd(pos + pattern.length());
} else {
for (; (pos = text.indexOf(pattern, pos)) >= 0; pos += pattern.length())