return tabHeight == 0 ? 0 : tabHeight - 1;
if (fixedTabHeight != SWT.DEFAULT) return fixedTabHeight; return tabHeight - 1;
public int getTabHeight(){	checkWidget();	return tabHeight == 0 ? 0 : tabHeight - 1; // -1 for line drawn across top of tab}