if(vertChanged) fireScrollEvent(ScrollEvent.VERTICAL); if(horizChanged) fireScrollEvent(ScrollEvent.HORIZONTAL);
	public boolean setOrigin(int firstLine, int horizontalOffset)	{		boolean vertChanged = false, horizChanged = false;		int oldFirstLine = this.firstLine;		if(firstLine != this.firstLine)		{			this.firstLine = firstLine;			vertChanged = true;		}		if(horizontalOffset != this.horizontalOffset)		{			this.horizontalOffset = horizontalOffset;			horizChanged = true;		}		if(vertChanged || horizChanged)		{			updateScrollBars();			painter.repaint();			gutter.repaint();		}		if(vertChanged)			fireScrollEvent(ScrollEvent.VERTICAL);		if(horizChanged)			fireScrollEvent(ScrollEvent.HORIZONTAL);		return vertChanged || horizChanged;	}