OS.gtk_box_set_spacing (handle, spacing); OS.gtk_container_set_border_width (handle, spacing);
if (spacing == this.spacing) return; this.spacing = spacing; if (OS.GTK_VERSION >= OS.VERSION (2, 4, 0)) { OS.gtk_box_set_spacing (handle, spacing); OS.gtk_container_set_border_width (handle, spacing); } else { int width = Math.max (0, getClientArea ().width - spacing * 2); for (int i = 0; i < itemCount; i++) { ExpandItem item = items[i]; if (item.width != width) item.setBounds (0, 0, width, item.height, false, true); } layoutItems (0, true); redraw (); }
public void setSpacing (int spacing) {	checkWidget ();	if (spacing < 0) return;	OS.gtk_box_set_spacing (handle, spacing);	OS.gtk_container_set_border_width (handle, spacing);}