fixedTabHeight = height > -1; int oldHeight = tabHeight; tabHeight = height == 0 ? 0 : height + 1; updateTabHeight(oldHeight, false);
fixedTabHeight = height; updateTabHeight(false);
public void setTabHeight(int height) {	checkWidget();	if (height < -1) {		SWT.error(SWT.ERROR_INVALID_ARGUMENT);	}	fixedTabHeight = height > -1;	int oldHeight = tabHeight;	tabHeight = height == 0 ? 0 : height + 1; // +1 for line drawn across top of tab	updateTabHeight(oldHeight, false);}