return;
String platform = SWT.getPlatform(); if (!("carbon".equals(platform))) return;
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;		}	}// Useful for debugging paint problems//{//GC gc = event.gc;//Point size = getSize();	//gc.setBackground(getDisplay().getSystemColor(SWT.COLOR_GREEN));//gc.fillRectangle(-10, -10, size.x + 20, size.y+20);//}		GC gc = event.gc;	if (items.length == 0) {		Point size = getSize();			gc.setBackground(getParent().getBackground());		gc.fillRectangle(0, 0, size.x, size.y);		return;	}		drawBody(event);	drawTabArea(event);		gc.setForeground(getForeground());	gc.setBackground(getBackground());	}