if (rightMinWidth != SWT.DEFAULT) {
if (rightMinWidth == SWT.DEFAULT) { Point minSize = right.computeSize(rightMinWidth, rightMinHeight); rightWidth = Math.max(minSize.x, rightWidth); } else {
void onMouseMove(int x, int y) {	if (dragging) {		Point size = getSize();		if (!(0 < x && x < size.x)) return;		rightWidth = Math.max(0, size.x - x - rightDragDisplacement);		if (rightMinWidth != SWT.DEFAULT) {			rightWidth = Math.max(rightMinWidth, rightWidth);		}		layout(false);		return;	}	if (curveRect.contains(x, y)) {		setCursor(resizeCursor); 	} else {		setCursor(null);	}}