document.replace(from, to - from, null);
document.replace(from, to - from, "");
	private void cutIndent(Document document, int line, int toDelete) throws BadLocationException {		IRegion region= document.getLineInformation(line);		int from= region.getOffset();		int endOffset= region.getOffset() + region.getLength();		// go behind line comments		while (from < endOffset - 2 && document.get(from, 2).equals(LINE_COMMENT))			from += 2;		int to= from;		while (toDelete > 0 && to < endOffset) {			char ch= document.getChar(to);			if (!Character.isWhitespace(ch))				break;			toDelete -= computeVisualLength(ch);			if (toDelete >= 0)				to++;			else				break;		}		document.replace(from, to - from, null);	}