fun label_widget: GtkWidget `{
		return gtk_expander_get_label_widget(self);
	`}