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
}
		redraw();
	}
}
public ETabItem getETabItem (int index) {
	return (ETabItem) getItem(index);
}
public ETabItem [] getETabItems() {
	
	ETabItem[] tabItems = new ETabItem [items.length];
	System.arraycopy(items, 0, tabItems, 0, items.length);
	return tabItems;
}
int getTextMidline() {
	int topSpacing = tabTopMargin + getMaxTabTopPadding();
	int textHeight = tabHeight - topSpacing - tabBottomPadding;
	return (textHeight / 2) + topSpacing;
}
void drawBody(Event event) {
	if(! useWebbyStyling()) {
		super.drawBody(event);
		return;
	}
	
	GC gc = event.gc;
	Point size = getSize();
	
	
	if (!minimized){
		int width = size.x  - borderLeft - borderRight - 2*highlight_margin;