y += fm.getLeading() + fm.getMaxDescent();
y += fm.getLeading() + fm.getDescent();
	protected void paintBracketHighlight(Graphics gfx, int line, int y)	{		int position = textArea.getBracketPosition();		if(position == -1)			return;		y += fm.getLeading() + fm.getMaxDescent();		int x = textArea.offsetToX(line,position);		gfx.setColor(bracketHighlightColor);		// Hack!!! Since there is no fast way to get the character		// from the bracket matching routine, we use ( since all		// brackets probably have the same width anyway		gfx.drawRect(x,y,fm.charWidth('(') - 1,			fm.getHeight() - 1);	}