horizontal.setValue(-horizontalOffset); painter.invalidateLineRange(firstLine,firstLine + visibleLines);
if(horizontalOffset != horizontal.getValue()) updateScrollBars(); painter.invalidateOffscreen(); painter.repaint();
	public void setHorizontalOffset(int horizontalOffset)	{		this.horizontalOffset = horizontalOffset;		horizontal.setValue(-horizontalOffset);		painter.invalidateLineRange(firstLine,firstLine + visibleLines);	}