IRegion region= fViewer.getVisibleRegion();
IRegion region= fViewer.getVisibleRegion();  if (!includes(region, fFramePosition)) { leave(UNINSTALL | COMMIT | DOCUMENT_CHANGED); return; }
	private void redrawRegion() {		IRegion region= fViewer.getVisibleRegion();				int offset= fFramePosition.getOffset() -  region.getOffset();		int length= fFramePosition.getLength();				fViewer.getTextWidget().redrawRange(offset, length, true);	}