protected void paintHighlight(TextAreaModel model, Graphics gfx, int y)
protected void paintHighlight(Graphics gfx, int line, int y)
	protected void paintHighlight(TextAreaModel model, Graphics gfx, int y)	{		/* Clear the line's bounding rectangle */		FontMetrics fm = getFontMetrics();		int gap = fm.getMaxDescent() + fm.getLeading();		gfx.setColor(getBackground());		gfx.fillRect(0,y + gap,offImg.getWidth(this),fm.getHeight());		if(currentLineIndex >= model.getSelectionStartLine()			&& currentLineIndex <= model.getSelectionEndLine())			paintLineHighlight(model,gfx,y);		if(bracketHighlight && currentLineIndex == model.getBracketLine())			paintBracketHighlight(model,gfx,y);	}