if(collapsed) return;
	public final void invalidateLine(int line)	{		FontMetrics pfm = textArea.getPainter().getFontMetrics();		repaint(0,textArea.lineToY(line) + pfm.getDescent() + pfm.getLeading(),			getWidth(),pfm.getHeight());	}