boolean updateTabHeight(int oldHeight, boolean force){ if (!fixedTabHeight) {
boolean updateTabHeight(boolean force){ int oldHeight = tabHeight; if (fixedTabHeight != SWT.DEFAULT) { tabHeight = fixedTabHeight == 0 ? 0 : fixedTabHeight + 1; } else {
boolean updateTabHeight(int oldHeight, boolean force){	if (!fixedTabHeight) {		int tempHeight = 0;		GC gc = new GC(this);		for (int i=0; i < items.length; i++) {			tempHeight = Math.max(tempHeight, items[i].preferredHeight(gc));		}		gc.dispose();		tabHeight =  tempHeight;	}	if (!force && tabHeight == oldHeight) return false;		oldSize = null;	if (onBottom) {		int d = tabHeight - 12;		curve = new int[]{0,13+d, 0,12+d, 3,12+d, 4,11+d, 6,11+d, 7,10+d, 8,10+d, 10,8+d, 11,8+d,				          12,7+d, 12+d,7,						  13+d,6, 14+d,6, 16+d,4, 17+d,4, 18+d,3, 20+d,3, 21+d,2, 25+d,2, 26+d,1}; 		curveWidth = 26+d;		curveIndent = curveWidth/3;		} else {		int d = tabHeight - 12;		curve = new int[]{0,0, 0,1, 3,1, 4,2, 6,2, 7,3, 8,3, 10,5, 11,5,				          12,6, 12+d,6+d,				          13+d,7+d, 14+d,7+d, 16+d,9+d, 17+d,9+d, 18+d,10+d, 20+d,10+d, 21+d,11+d, 25+d,11+d, 26+d,12+d};		curveWidth = 26+d;		curveIndent = curveWidth/3;	}	notifyListeners(SWT.Resize, new Event());	return true;}