range = new DocumentRange(dot, dot); res.setMatchRange(range); RSyntaxUtilities.selectAndPossiblyCenter(textArea, range, true);
range = new DocumentRange(dot, dot); res.setMatchRange(range); RSyntaxUtilities.selectAndPossiblyCenter(textArea, range, true);