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