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 (item.x != x || item.y != y) changed = true;
			x = x + tabLeftMargin;
			item.x = x;
			item.y = y;
			if (i == selectedIndex) {
				int edge = Math.min(item.x + item.width, rightItemEdge);
				item.closeRect.x = edge - CTabItem.RIGHT_MARGIN - BUTTON_SIZE;
				item.y = item.y;
			} else {
				item.closeRect.x = item.x + item.width - CTabItem.RIGHT_MARGIN - BUTTON_SIZE;
				item.y = item.y;
			}
			item.closeRect.y = getTextMidline() - BUTTON_SIZE /2;
			x = x + item.width + tabRightMargin;
		}
	}
	
	return changed;
}
int getSelectedTabTopOffset() {
	return tabTopMargin + (getMaxTabTopPadding() - tabTopSelectionPadding);
}
int getUnselectedTabTopOffset() {
	return tabTopMargin + (getMaxTabTopPadding() - tabTopPadding);
}
private boolean useWebbyStyling() {
	return webbyStyle && ! onBottom && ! single;
}
}