Bug 284622 [CSS] Layout of ETabFolder not updating when Window->Reload Style Sheet
When you pick Window->Reload Style Sheet, some aspects of the ETabFolder isn't updating. Specifically, they're around spacing/layout, .e.g: - "tab-margin-offset:" has no immediate effect - changing padding doesn't grow the tab higher, just squishes the contents in - ETabItem margin-left: and margin-right: have no immediate effect The problem is that the setters are only changing the field value but not doing any udpating. We need something like: updateTabHeight(true); for vertical spacing changes updateItems(); for horizontal spacing changes redraw();
bundles/org.eclipse.e4.ui.widgets/src/org/eclipse/e4/ui/widgets/ETabFolder.java
}
		
		if (borderLeft > 0) {
			gc.setForeground(borderColor);
			gc.drawPolyline(shape);
		}
		return;
	}
	int x = Math.max(0, borderLeft - 1);
	int y = borderTop;
	int width = size.x - borderLeft - borderRight + 1;
	int height = tabHeight - 1;
	
	int[] left, right;
	if ((getStyle() & SWT.BORDER) != 0) {
		left = E_TOP_LEFT_CORNER;
		right = E_TOP_RIGHT_CORNER;
	} else {
		left = E_TOP_LEFT_CORNER_BORDERLESS;
		right = E_TOP_RIGHT_CORNER_BORDERLESS;
	}
	
	shape = new int[left.length + right.length + 4];
	int index = 0;
	shape[index++] = x;
	shape[index++] = y + height + highlight_header + 1;
	for (int i = 0; i < left.length / 2; i++) {
		shape[index++] = x + left[2 * i];
		shape[index++] = y + left[2 * i + 1];
	}