height = Math.max (height, DEFAULT_HEIGHT); OS.XtResizeWidget (handle, width, height, 0);
height = Math.max (height, MINIMUM_CHILD_HEIGHT + MARGIN_HEIGHT); OS.XtResizeWidget (handle, width, height, 0);
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();}