/** * Returns the cursor coordinates. * * @return line/column */ public final String pos() { final int[] pos = rend.pos(); return pos[0] + " : " + pos[1]; }