Rectangle r = gfx.getClipBounds(); gfx.setColor(getBackground()); gfx.fillRect(r.x, r.y, r.width, r.height);
if (highlights != null) highlights.paintHighlight(gfx, line, y);
	public void paintComponent(Graphics gfx)	{		if (expanded)		{			// fill the background			Rectangle r = gfx.getClipBounds();			gfx.setColor(getBackground());			gfx.fillRect(r.x, r.y, r.width, r.height);			// if buffer is loading, don't paint anything			if (!textArea.getBuffer().isLoaded())				return;			// paint custom highlights, if there are any			if (highlights != null) paintCustomHighlights(gfx);			// paint line numbers			paintLineNumbers(gfx);		}	}