if (!updateTabHeight(tabHeight, false)) {
if (!updateTabHeight(false)) {
void onPaint(Event event) {	Font font = getFont();	if (oldFont == null || !oldFont.equals(font)) {		// handle case where  default font changes		oldFont = font;		if (!updateTabHeight(tabHeight, false)) {			updateItems();			redraw();			return;		}	}	GC gc = event.gc;	Font gcFont = gc.getFont();	Color gcBackground = gc.getBackground();	Color gcForeground = gc.getForeground();	// Useful for debugging paint problems//{//Point size = getSize();	//gc.setBackground(getDisplay().getSystemColor(SWT.COLOR_GREEN));//gc.fillRectangle(-10, -10, size.x + 20, size.y+20);//}		if (items.length == 0) {		if ((getStyle() & SWT.NO_BACKGROUND) != 0) {			Point size = getSize();				gc.setBackground(getParent().getBackground());			gc.fillRectangle(0, 0, size.x, size.y);			gc.setBackground(gcBackground);		}		return;	}		drawBody(event);		gc.setFont(gcFont);	gc.setForeground(gcForeground);	gc.setBackground(gcBackground);		drawTabArea(event);		gc.setFont(gcFont);	gc.setForeground(gcForeground);	gc.setBackground(gcBackground);	}