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/ETabItem.java
int rightEdge = Math.min (x + width, parent.getRightItemEdge());
	
	
	int xx = parent.borderLeft;
	int yy = parent.borderTop + height + 1;
	int ww = size.x - parent.borderLeft - parent.borderRight;
	int hh = parent.highlight_header - 1;
	int[] shape = new int[] {xx,yy, xx+ww,yy, xx+ww,yy+hh, xx,yy+hh};
	if (parent.selectionGradientColors != null && !parent.selectionGradientVertical) {
		parent.drawBackground(gc, shape, true);
	} else {
		gc.setBackground(parent.selectionBackground);
		gc.fillRectangle(xx, yy, ww, hh);
	}
	
	
	
	if (!showing){
		int x1 = Math.max(0, parent.borderLeft - 1);
		int y1 = y + height;
		int x2 = size.x - parent.borderRight;
		gc.setForeground(getETabParent().tabKeylineColor);
		gc.drawLine(x1, y1, x2, y1);
		return;
	}
		
	
	shape = null;
	
	int[] left = ETabFolder.E_TOP_LEFT_CORNER;