OS.gtk_widget_set_size_request (clientHandle, -1, height); parent.relayout ();
if (OS.GTK_VERSION >= OS.VERSION (2, 4, 0)) { this.height = height; OS.gtk_widget_set_size_request (clientHandle, -1, height); parent.layoutItems (0, false); } else { setBounds (0, 0, width, height, false, true); if (expanded) parent.layoutItems (parent.indexOf (this) + 1, true); }
public void setHeight (int height) {	checkWidget ();	if (height < 0) return;	OS.gtk_widget_set_size_request (clientHandle, -1, height);	parent.relayout ();}