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
return tabLeftMargin;
}
public void setTabLeftMargin(int tabLeftMargin) {
	this.tabLeftMargin = tabLeftMargin;
}
public int getTabRightMargin() {
	return tabRightMargin;
}
public void setTabRightMargin(int tabRightMargin) {
	this.tabRightMargin = tabRightMargin;
}
public boolean getWebbyStyle() {
	return webbyStyle;
}
public void setWebbyStyle(boolean webbyStyle) {
	checkWidget();
	
	if(this.webbyStyle != webbyStyle) {
		this.webbyStyle = webbyStyle;
		updateTabHeight(true);
		if(webbyStyle && single) {
			setSingle(false); 
			return; 
		}
		Rectangle rectBefore = getClientArea();
		updateItems();
		Rectangle rectAfter = getClientArea();
		layout();
		if (!rectBefore.equals(rectAfter)) {
			notifyListeners(SWT.Resize, new Event());