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
boolean webbyStyle = false;
	static final int[] E_TOP_LEFT_CORNER = new int[] {0,5, 1,4, 1,3, 2,2, 3,1, 4,1, 5,0};
	static final int[] E_TOP_RIGHT_CORNER = new int[] {-5,0, -4,1, -3,1, -2,2, -1,3, -1,4, 0,5};
	static final int[] E_TOP_LEFT_CORNER_BORDERLESS = new int[] {};
	static final int[] E_TOP_RIGHT_CORNER_BORDERLESS = new int[] {};
	
	
	
	
	int tabTopMargin = 0;  		
	int tabTopSelectionPadding = 6;  
	int tabTopPadding = 3;  	
	int tabBottomPadding = 3; 	
	int tabLeftMargin = 2;  	
	int tabRightMargin = 0;  	
	int tabMarginOffset = 0;  	
	
	Color topBorderColor;