if(bracketHighlight && line == textArea.getBracketLine()) paintBracketHighlight(gfx,line,y);
	private void paintHighlight(Graphics gfx, int line, int y, boolean invalid)	{		// only paint plugin highlights on invalid lines		if(!invalid && line >= textArea.getSelectionStartLine()			&& line <= textArea.getSelectionEndLine())			paintLineHighlight(gfx,line,y);		if(highlights != null)			highlights.paintHighlight(gfx,line,y);		if(bracketHighlight && line == textArea.getBracketLine())			paintBracketHighlight(gfx,line,y);		if(!invalid && line == textArea.getCaretLine())			paintCaret(gfx,line,y);	}