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 tabRightMargin;
}
public void setTabRightMargin(int tabRightMargin) {
	this.tabRightMargin = tabRightMargin;
}
public int getTabMarginOffset() {
	return tabMarginOffset;
}
public void setTabMarginOffset(int value) {
	this.tabMarginOffset = value;
}
public boolean getWebbyStyle() {
	return webbyStyle;
}
public void setWebbyStyle(boolean webbyStyle) {
	checkWidget();
	
	if(this.webbyStyle != webbyStyle) {
		this.webbyStyle = webbyStyle;
		updateTabHeight(true);
		if(webbyStyle && single) {
			setSingle(false); 
			return; 
		}
		Rectangle rectBefore = getClientArea();
		updateItems();
		Rectangle rectAfter = getClientArea();
		layout();
		if (!rectBefore.equals(rectAfter)) {
			notifyListeners(SWT.Resize, new Event());