scrollVertical(pixel - getVerticalScrollOffset(), true);
scrollVertical(pixel, true);
public void setTopPixel(int pixel) {	checkWidget();	if (getCharCount() == 0) {		return;	}		if (pixel < 0) pixel = 0;	int lineCount = content.getLineCount();	int height = clientAreaHeight - topMargin - bottomMargin;	if (isFixedLineHeight()) {		int maxTopPixel = Math.max(0, lineCount * getVerticalIncrement() - height);		if (pixel > maxTopPixel) pixel = maxTopPixel;	} else {		int verticalOffset = getVerticalScrollOffset();		if (pixel > verticalOffset) {			int lineIndex = topIndex;			int maxTopPixel = verticalOffset + getLinePixel(lineIndex) - height;			while (maxTopPixel < pixel && lineIndex < lineCount) {				maxTopPixel += renderer.getLineHeight(lineIndex++);			}			if (pixel > maxTopPixel) pixel = maxTopPixel;		}	}	scrollVertical(pixel - getVerticalScrollOffset(), true);}