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