StyleRange styleRange= new StyleRange(offset, length, foregroundColor, backgroundColor);
int fontStyle= oldStyleRange== null ? SWT.NORMAL : oldStyleRange.fontStyle; StyleRange styleRange= new StyleRange(offset, length, foregroundColor, backgroundColor, fontStyle);
		private void highlightRegion(ISourceViewer viewer, IRegion region) {			if (region.equals(fActiveRegion))				return;			repairRepresentation();			StyledText text= viewer.getTextWidget();			if (text == null || text.isDisposed())				return;			// highlight region			int offset= 0;			int length= 0;						if (viewer instanceof ITextViewerExtension3) {				ITextViewerExtension3 extension= (ITextViewerExtension3) viewer;				IRegion widgetRange= extension.modelRange2WidgetRange(region);				if (widgetRange == null)					return;									offset= widgetRange.getOffset();				length= widgetRange.getLength();							} else {				offset= region.getOffset() - viewer.getVisibleRegion().getOffset();				length= region.getLength();			}						StyleRange oldStyleRange= text.getStyleRangeAtOffset(offset);			Color foregroundColor= fColor;			Color backgroundColor= oldStyleRange == null ? text.getBackground() : oldStyleRange.background;			StyleRange styleRange= new StyleRange(offset, length, foregroundColor, backgroundColor);			text.setStyleRange(styleRange);			// underline			text.redrawRange(offset, length, true);			fActiveRegion= region;		}