repaint(0,textArea.lineToY(line) + fm.getMaxDescent() + fm.getLeading(),
repaint(0,textArea.lineToY(line) + fm.getDescent() + fm.getLeading(),
	public final void invalidateLine(int line)	{		repaint(0,textArea.lineToY(line) + fm.getMaxDescent() + fm.getLeading(),			getWidth(),fm.getHeight());	}