updateTabHeight(tabHeight, true);
updateTabHeight(true);
public void setTabPosition(int position) {	checkWidget();	if (position != SWT.TOP && position != SWT.BOTTOM) {		SWT.error(SWT.ERROR_INVALID_ARGUMENT);	}	if (onBottom != (position == SWT.BOTTOM)) {		onBottom = position == SWT.BOTTOM;		borderTop = onBottom ? borderLeft : 0;		borderBottom = onBottom ? 0 : borderRight;		updateTabHeight(tabHeight, true);		Rectangle rectBefore = getClientArea();		updateItems();		Rectangle rectAfter = getClientArea();		if (!rectBefore.equals(rectAfter)) {			notifyListeners(SWT.Resize, new Event());		}		redraw();	}}