211212213214215216217218219220221
} s = s.substring(0, endWS); p0 -= getID().length(); String beforeText = getBeforeTextIndented(s); String afterText = getAfterTextIndented(s); doc.replace(p0,p1-p0, beforeText+afterText, null); textArea.setCaretPosition(p0+beforeText.length()); }
197198199200201202203204205206207