setVerticalScrollOffset(pixel, true);
scrollVertical(pixel - verticalScrollOffset, true);
public void setTopPixel(int pixel) {	checkWidget();	if (getCharCount() == 0) {		return;	}		if (pixel < 0) pixel = 0;	int lineCount = content.getLineCount();	int height = getClientArea().height;	if (isFixedLineHeight()) {		int maxTopPixel = Math.max(0, lineCount * getVerticalIncrement() - height);		if (pixel > maxTopPixel) pixel = maxTopPixel;	} else {		if (pixel > verticalScrollOffset) {			int bottomIndex = getLineIndex(height) + 1;			int bottomPixel = getLinePixel(bottomIndex);			while (pixel + height > bottomPixel && lineCount > bottomIndex) {				bottomPixel += lineCache.getLineHeight(bottomIndex++);			}			if (pixel + height > bottomPixel) pixel = bottomPixel - height; 		}	}	setVerticalScrollOffset(pixel, true);}