boolean setBounds (int x, int y, int width, int height, boolean move, boolean resize) { boolean result = super.setBounds (x, y, width, height, move, resize);
int setBounds (int x, int y, int width, int height, boolean move, boolean resize) { int result = super.setBounds (x, y, width, height, move, resize);
boolean setBounds (int x, int y, int width, int height, boolean move, boolean resize) { 	boolean result = super.setBounds (x, y, width, height, move, resize);	/*	* Feature in GTK, GtkCheckButton and GtkRadioButton allocate	* only the minimum size necessary for its child. This causes the child	* alignment to fail. The fix is to set the child size to all available space	* excluding trimmings.	*/	if (resize && result && (style & (SWT.CHECK | SWT.RADIO)) != 0) {		int childHeight = 0, buttonWidth = 0, buttonHeight = 0;		GtkRequisition requisition = new GtkRequisition ();		OS.gtk_widget_size_request (handle, requisition);		buttonWidth = requisition.width;		buttonHeight = requisition.height;		OS.gtk_widget_size_request (boxHandle, requisition);		childHeight = requisition.height;		OS.gtk_widget_set_size_request (handle, -1, -1);		OS.gtk_widget_set_size_request (boxHandle, -1, -1);		OS.gtk_widget_size_request (handle, requisition);		int trim = requisition.width;		OS.gtk_widget_size_request (boxHandle, requisition);		trim -= requisition.width;		OS.gtk_widget_set_size_request (handle, buttonWidth, buttonHeight);		OS.gtk_widget_set_size_request (boxHandle, Math.max (1, width - trim), childHeight);	}	return result;}