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
int y1 = borderTop + tabHeight;
		int x2 = size.x - borderRight;
		gc.setForeground(borderColor);
		gc.drawLine(x1, y1, x2, y1);
	}
	
	drawChevron(gc);
	drawMinimize(gc);
	drawMaximize(gc);
	
	if (borderLeft > 0) {
		RGB outside = getParent().getBackground().getRGB();
		antialias(shape, borderColor.getRGB(), null, outside, gc);
		gc.setForeground(borderColor);
		gc.drawPolyline(shape);
	}
}
int getMaxTabTopPadding() {
	return Math.max(tabTopSelectionPadding, tabTopPadding);
}
boolean updateTabHeight(boolean force){
	if (! useWebbyStyling() || fixedTabHeight != SWT.DEFAULT || items.length > 0) {
		return super.updateTabHeight(force);
	}
	
	int tempHeight = 0;
	GC gc = new GC(this);
	tempHeight = gc.textExtent("Default", ETabItem.FLAGS).y + tabTopMargin + getMaxTabTopPadding() + tabBottomPadding; 
	gc.dispose();
	tabHeight =  tempHeight;