int controlWidth = width - MINIMUM_WIDTH - MARGIN_WIDTH; int controlHeight = height - (2 * MARGIN_HEIGHT); control.setSize(controlWidth, controlHeight);
int controlWidth = Math.max (1, width - MINIMUM_WIDTH - MARGIN_WIDTH); int controlHeight = Math.max (MINIMUM_CHILD_HEIGHT, height - MARGIN_HEIGHT); control.setSize (controlWidth, controlHeight);
public void setSize (int width, int height) {	checkWidget();	width = Math.max (width, MINIMUM_WIDTH);	height = Math.max (height, DEFAULT_HEIGHT);	OS.XtResizeWidget (handle, width, height, 0);				if (control != null) {		int controlWidth = width - MINIMUM_WIDTH - MARGIN_WIDTH;		int controlHeight = height - (2 * MARGIN_HEIGHT);		control.setSize(controlWidth, controlHeight);	}	parent.relayout();}