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