int _maxHorizontalScrollWidth = getTokenMarker().getMaxLineWidth(
int _maxHorizontalScrollWidth = buffer.getMaxLineWidth(
	void updateMaxHorizontalScrollWidth()	{		int _maxHorizontalScrollWidth = getTokenMarker().getMaxLineWidth(			firstLine,visibleLines);		if(_maxHorizontalScrollWidth != maxHorizontalScrollWidth)		{			maxHorizontalScrollWidth = _maxHorizontalScrollWidth;			horizontal.setValues(-horizontalOffset,painter.getWidth(),				0,maxHorizontalScrollWidth				+ painter.getFontMetrics().charWidth('w'));		}	}