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
}
		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;