int lineCount =content.getLineCount(); int height = getClientArea().height; int maxTopPixel = Math.max(0, lineCount * getVerticalIncrement() - height);
public void setTopPixel(int pixel) {	checkWidget();	int lineCount =content.getLineCount();	int height = getClientArea().height;	int maxTopPixel = Math.max(0, lineCount * getVerticalIncrement() - height);		if (getCharCount() == 0) {		return;	}		if (pixel < 0) {		pixel = 0;	}	else 	if (pixel > maxTopPixel) {		pixel = maxTopPixel;	}	setVerticalScrollOffset(pixel, true);}