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
super.drawTabArea(event);
		return;
	}
	GC gc = event.gc;
	Point size = getSize();
	int[] shape = null;
	Color borderColor = tabAreaKeylineColor;
	if (tabHeight == 0) {
		int style = getStyle();
		if ((style & SWT.FLAT) != 0 && (style & SWT.BORDER) == 0)
			return;
		int x1 = borderLeft - 1;
		int x2 = size.x - borderRight;
		int y1 = borderTop + highlight_header;
		int y2 = borderTop;
		if (borderLeft > 0 && onBottom)
			y2 -= 1;
		shape = new int[] { x1, y1, x1, y2, x2, y2, x2, y1 };
		
		if (selectedIndex != -1 && selectionGradientColors != null
				&& selectionGradientColors.length > 1
				&& !selectionGradientVertical) {
			drawBackground(gc, shape, true);
		} else if (selectedIndex == -1 && gradientColors != null
				&& gradientColors.length > 1 && !gradientVertical) {
			drawBackground(gc, shape, false);
		} else {
			gc.setBackground(selectedIndex == -1 ? getBackground()
					: selectionBackground);
			gc.fillPolygon(shape);