int  widget = OS.gtk_expander_get_label_widget (handle); return OS.GTK_WIDGET_HEIGHT (widget);
if (OS.GTK_VERSION >= OS.VERSION (2, 4, 0)) { int  widget = OS.gtk_expander_get_label_widget (handle); return OS.GTK_WIDGET_HEIGHT (widget); } return Math.max (parent.getBandHeight (), imageHeight);
public int getHeaderHeight () {	checkWidget ();	int /*long*/ widget = OS.gtk_expander_get_label_widget (handle);	return OS.GTK_WIDGET_HEIGHT (widget); }