fViewer.getTextWidget().setSelection(start, end);
StyledText text= fViewer.getTextWidget(); if (text != null && !text.isDisposed()) text.setSelection(start, end);
	private void selectRegion() {		IRegion region= fViewer.getVisibleRegion();		if (!includes(region, fFramePosition)) {		 	leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED);		 	return;   		}		int start= fFramePosition.getOffset() - region.getOffset();		int end= fFramePosition.getLength() + start;			fViewer.getTextWidget().setSelection(start, end);			}