setVerticalScrollOffset(verticalScrollOffset - height, true);
scrollVertical(-height, true);
void claimBottomFreeSpace() {	if (isFixedLineHeight()) {		int newVerticalOffset = Math.max(0, content.getLineCount() * lineHeight - getClientArea().height);		if (newVerticalOffset < verticalScrollOffset) {			// Scroll up so that empty lines below last text line are used.			// Fixes 1GEYJM0			setVerticalScrollOffset(newVerticalOffset, true);		}	} else {			int clientAreaHeight = getClientArea().height;		int bottomIndex = getLineIndex(clientAreaHeight);		int height = getLinePixel(bottomIndex) + lineCache.getLineHeight(bottomIndex);		if (clientAreaHeight > height) {			height = clientAreaHeight - height;			height = Math.min(verticalScrollOffset, height);			setVerticalScrollOffset(verticalScrollOffset - height, true);		}	}}