lineCache.getWidth(), clientArea.width,
lineCache.getWidth(), clientArea.width - leftMargin - rightMargin,
void setHorizontalScrollBar() {	ScrollBar horizontalBar = getHorizontalBar();		if (horizontalBar != null && horizontalBar.getVisible()) {		final int INACTIVE = 1;		Rectangle clientArea = getClientArea();		// only set the real values if the scroll bar can be used 		// (ie. because the thumb size is less than the scroll maximum)		// avoids flashing on Motif, fixes 1G7RE1J and 1G5SE92		if (clientArea.width < lineCache.getWidth()) {			horizontalBar.setValues(				horizontalBar.getSelection(),				horizontalBar.getMinimum(),				lineCache.getWidth(),		// maximum				clientArea.width,				// thumb size				horizontalBar.getIncrement(),				clientArea.width);				// page size		}		else 		if (horizontalBar.getThumb() != INACTIVE || horizontalBar.getMaximum() != INACTIVE) {			horizontalBar.setValues(				horizontalBar.getSelection(),				horizontalBar.getMinimum(),				INACTIVE,				INACTIVE,				horizontalBar.getIncrement(),				INACTIVE);		}	}}