painter.repaint();
	public void setFirstLine(int firstLine)	{		if(firstLine == this.firstLine)			return;		int oldFirstLine = this.firstLine;		this.firstLine = firstLine;		if(firstLine != vertical.getValue())			updateScrollBars();		painter.scrollRepaint(oldFirstLine,firstLine);	}