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