int clientAreaWidth = getClientArea().width;
public void setHorizontalPixel(int pixel) {	checkWidget();	int clientAreaWidth = getClientArea().width;	if (getCharCount() == 0) {		return;	}		if (pixel < 0) {		pixel = 0;	}	// allow any value if client area width is unknown or 0. 	// offset will be checked in resize handler.	// don't use isVisible since width is known even if widget 	// is temporarily invisible	if (clientAreaWidth > 0) {		int width = lineCache.getWidth();		// prevent scrolling if the content fits in the client area.		// align end of longest line with right border of client area		// if offset is out of range.		if (pixel > width - clientAreaWidth) {			pixel = Math.max(0, width - clientAreaWidth);		}	}	scrollHorizontalBar(pixel - horizontalScrollOffset);}