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
if (unselectedTabBackgroundColor == color) return;
	if (color == null) color = getBackground();
	unselectedTabBackgroundColor = color;
	if (selectedIndex > -1) redraw();
}
public int getTabTopMargin() {
	return tabTopMargin;
}
public void setTabTopMargin(int tabTopMargin) {
	this.tabTopMargin = tabTopMargin;
}
public int getTabTopPadding() {
	return tabTopPadding;
}
public void setTabTopPadding(int tabTopPadding) {
	this.tabTopPadding = tabTopPadding;
}
public int getTabBottomPadding() {
	return tabBottomPadding;
}
public void setTabBottomPadding(int tabBottomPadding) {
	this.tabBottomPadding = tabBottomPadding;
}
public int getTabTopSelectionPadding() {
	return tabTopSelectionPadding;
}
public void setTabTopSelectionPadding(int tabTopSelectionPadding) {
	this.tabTopSelectionPadding = tabTopSelectionPadding;
}
public int getTabLeftMargin() {