fireScrollEvent(ScrollEvent.VERTICAL);
	public void setFirstLine(int firstLine)	{		if(firstLine == this.firstLine)			return;		this.firstLine = firstLine;		if(firstLine != vertical.getValue())			updateScrollBars();		painter.repaint();		gutter.repaint();		fireScrollEvent(ScrollEvent.VERTICAL);	}