/** * Jumps to a search string. * * @param dir search direction * @param select select hit * @return new vertical position, or {@code -1} */ int jump(final SearchDir dir, final boolean select) { final int pos = text.jump(dir, select); if (pos == -1) return -1; final int hh = h; h = Integer.MAX_VALUE; final Graphics g = getGraphics(); for (init(g); more(g) && text.pos() < pos; next()) ; h = hh; return y; }