Bug 283887 [CSS] Review keyline property names
ETabFolder has three keyline colors, with the following names as realized in the CSS: tab-area-keyline-color: xxx; body-keyline-color: xxx; tab-keyline-color: xxx; Are we happy with these names? The correspond to: Color tabAreaKeylineColor; // The exterior keyline color of the top tab area Color bodyKeylineColor; // The keyline color of the left, right, and bottom of the body Color tabKeylineColor; // Keyline color for the tabs themselves
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;