int controlWidth = preferredWidth - MINIMUM_WIDTH - MARGIN_WIDTH; int controlHeight = preferredHeight - (2 * MARGIN_HEIGHT); control.setSize(controlWidth, controlHeight);
control.setSize(control.getSize().x, height - (2 * MARGIN_HEIGHT));
public void setPreferredSize (int width, int height) {	checkWidget();	preferredWidth = Math.max (width, MINIMUM_WIDTH);	preferredHeight = Math.max (height, DEFAULT_HEIGHT);	OS.XtResizeWidget (handle, preferredWidth, preferredHeight, 0);	if (control != null) {		int controlWidth = preferredWidth - MINIMUM_WIDTH - MARGIN_WIDTH;		int controlHeight = preferredHeight - (2 * MARGIN_HEIGHT);		control.setSize(controlWidth, controlHeight);	}}