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
return prefHeight;
}
public Rectangle getBounds () {
	
	if(! getETabParent().webbyStyle || this.parent.onBottom || parent.single) {
		return super.getBounds();
	}
	
	int yy = (parent.indexOf(this) == parent.selectedIndex)
		? getETabParent().getSelectedTabTopOffset()
		: getETabParent().getUnselectedTabTopOffset();
	int w = width;
	int h = height - yy;
	return new Rectangle(x, yy, w, h);
}
void debugPrintPolyline(boolean selected, int[] shape) {
	System.out.println(
		(selected ? "selected" : "unselected") + " polyline ("+ getText()+"): " );
	for (int i = 0; i < shape.length; i+=2) {
		System.out.print(shape[i]);
		System.out.print("@");
		System.out.print(shape[i+1]);
		if(i != shape.length -2)
			System.out.print(", ");
		else
			System.out.println();
	}
}
void drawClose(GC gc) {