if ((offset >= 0) && (offset <= region.getLength())) fViewer.getTextWidget().setCaretOffset(offset);
if ((offset >= 0) && (offset <= region.getLength())) { StyledText text= fViewer.getTextWidget(); if (text != null && !text.isDisposed()) text.setCaretOffset(offset); }
	private void updateCaret() {		IRegion region= fViewer.getVisibleRegion();				if (!includes(region, fFramePosition)) {		 	leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED);		 	return;   		}		int offset= fFramePosition.getOffset() + fCaretOffset - region.getOffset();				if ((offset >= 0) && (offset <= region.getLength()))				fViewer.getTextWidget().setCaretOffset(offset);	}