redrawRegion();
fNeedRedraw= true;
	public void setCurrentPosition(Position position, int caretOffset) {		if (!fFramePosition.equals(position)) {			redrawRegion();			fFramePosition= position;		}		fCaretOffset= caretOffset;	}