GC gc= event.gc;
if (fFramePosition == null) return;
	public void paintControl(PaintEvent event) {			GC gc= event.gc;		IRegion region= fViewer.getVisibleRegion();				int offset= fFramePosition.getOffset() -  region.getOffset();		int length= fFramePosition.getLength();					StyledText text= fViewer.getTextWidget();		Point minLocation= text.getLocationAtOffset(offset);		Point maxLocation= text.getLocationAtOffset(offset + length);		int x= minLocation.x;		int y= minLocation.y;		int width= maxLocation.x - minLocation.x - 1;		int height= gc.getFontMetrics().getHeight() - 1;				gc.setForeground(fFrameColor);		gc.drawLine(x, y + height, x + width, y + height);	}