Bug 317180 Screen cheese when starting fresh workspace
bundles/org.eclipse.e4.ui.workbench.renderers.swt/src/org/eclipse/e4/ui/workbench/renderers/swt/CTabRendering.java
gc.dispose();
		int borderTop = TOP_KEYLINE + OUTER_KEYLINE;
		int borderBottom = INNER_KEYLINE + OUTER_KEYLINE;
		int marginWidth = parent.marginWidth;
		int marginHeight = parent.marginHeight;
		int sideDropWidth = shadowEnabled ? SIDE_DROP_WIDTH : 0;
		switch (part) {
		case PART_BODY:
			x = x - marginWidth - OUTER_KEYLINE - INNER_KEYLINE - sideDropWidth
					- (cornerSize / 2);
			width = width + 2 * OUTER_KEYLINE + 2 * INNER_KEYLINE + 2
					* marginWidth + 2 * sideDropWidth + cornerSize;
			int tabHeight = parent.getTabHeight() + 1; 
														
			
			if (parent.getMinimized()) {
				y = y - tabHeight
						- borderTop - 5;
				height = borderTop + borderBottom + tabHeight;
			} else {
				
				
				
				y = y - marginHeight - tabHeight - borderTop - (cornerSize / 4);
				height = height + borderBottom + borderTop + 2 * marginHeight
						+ tabHeight + cornerSize / 2 + cornerSize / 4
						+ (shadowEnabled ? BOTTOM_DROP_WIDTH : 0);
			}
			break;
		case PART_HEADER: