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
return bottomBorderColor;
}
public void setBottomBorderColor(Color color) {
	checkWidget();
	if (bottomBorderColor == color) return;
	if (color == null) color = getDisplay().getSystemColor(BORDER1_COLOR);
	bottomBorderColor = color;
	if (selectedIndex > -1) redraw();
}
public Color getTabBorderColor() {
	return tabBorderColor;
}
public void setTabBorderColor(Color color) {
	checkWidget();
	if (tabBorderColor == color) return;
	if (color == null) color = getDisplay().getSystemColor(BORDER1_COLOR);
	tabBorderColor = color;
	if (selectedIndex > -1) redraw();
}
public Color getUnselectedTabBackgroundColor() {
	return unselectedTabBackgroundColor;
}
public void setUnselectedTabBackgroundColor(Color color) {
	checkWidget();
	if (unselectedTabBackgroundColor == color) return;
	if (color == null) color = getBackground();
	unselectedTabBackgroundColor = color;
	if (selectedIndex > -1) redraw();
}
public int getTabTopMargin() {