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 tabTopMargin;
}
public void setTabTopMargin(int tabTopMargin) {
	this.tabTopMargin = tabTopMargin;
}
public int getTabTopPadding() {
	return tabTopPadding;
}
public void setTabTopPadding(int tabTopPadding) {
	this.tabTopPadding = tabTopPadding;
}
public int getTabBottomPadding() {
	return tabBottomPadding;
}
public void setTabBottomPadding(int tabBottomPadding) {
	this.tabBottomPadding = tabBottomPadding;
}
public int getTabTopSelectionPadding() {
	return tabTopSelectionPadding;
}
public void setTabTopSelectionPadding(int tabTopSelectionPadding) {
	this.tabTopSelectionPadding = tabTopSelectionPadding;
}
public int getTabLeftMargin() {
	return tabLeftMargin;
}
public void setTabLeftMargin(int tabLeftMargin) {
	this.tabLeftMargin = tabLeftMargin;
}
public int getTabRightMargin() {