throw new BadLocationException("line " + line + " does not exist", -line);
}
return element.getStartOffset();
} catch (ArrayIndexOutOfBoundsException aioobe) {
BadLocationException ble = new BadLocationException("line " + line + " does not exist", -line);
ble.initCause(aioobe);
throw ble;
}
}
private int offsetToY(int offset) throws BadLocationException {