return true;
void setVerticalScrollOffset(int pixelOffset, boolean adjustScrollBar) {	Rectangle clientArea;	ScrollBar verticalBar = getVerticalBar();		if (pixelOffset == verticalScrollOffset) {		return;	}	if (verticalBar != null && adjustScrollBar) {		verticalBar.setSelection(pixelOffset);	}	clientArea = getClientArea();	scroll(		0, 0, 									// destination x, y		0, pixelOffset - verticalScrollOffset,	// source x, y		clientArea.width, clientArea.height, true);	verticalScrollOffset = pixelOffset;	calculateTopIndex();	setCaretLocation();}