public static int getEndLine(WPos p) {
LineOffsets lineOffsets = getLineOffsets(p);
return lineOffsets.getLine(p.getRightPos()) + 1;
}
public static int getEndColumn(WPos p) {
LineOffsets lineOffsets = getLineOffsets(p);
return p.getRightPos() - lineOffsets.get(p.getEndLine() - 1);
}