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