IndentPosition(BaleRegion br, int off) throws BadLocationException {
RegionData rd = region_map.get(br);
validateRegions();
int roff = rd.getRegionOffset(br, off);
int voff = rd.getViewOffset(roff);
local_offset = off - voff;
base_position = base_document.createPosition(br.getStart() + roff);
}
protected int mapRegionOffsetToView(BaleRegion br, int offset) {
if (region_map != null) {
validateRegions();
RegionData rd = region_map.get(br);
return rd.getViewOffset(offset);
}
return offset;
}
