if (rightWidth == SWT.DEFAULT) return right.computeSize(SWT.DEFAULT, getSize().y).x;
if (rightWidth == SWT.DEFAULT) { Point size = right.computeSize(SWT.DEFAULT, getSize().y, false); return size.x; }
public int getRightWidth() {	checkWidget();	if (right == null) return 0;	if (rightWidth == SWT.DEFAULT) return right.computeSize(SWT.DEFAULT, getSize().y).x;	return rightWidth;}