g_return_if_fail (widget != NULL); 
gtk_adi_box_view_activate_child (GtkAdiBoxView * self, GtkWidget * widget){	g_return_if_fail (self != NULL);	g_return_if_fail (GTK_IS_ADI_BOX_VIEW (self));	g_return_if_fail (widget != NULL);		GList* list = NULL;	GtkWidget* cur = GTK_ADI_CHILD(self->cur_child)->widget;	if (cur != widget) {		list = g_list_find_custom (self->children, widget,								   gtk_adi_box_view_find_widget);		if (list != NULL) {			gtk_adi_child_set_active(GTK_ADI_CHILD (list->data));		}	}}
9593	/local/tlutelli/issta_data/temp/c/2005_temp/2005/9593/06ce9d2a0e7b45913f2f83eae590ef199e5f0ee5/gtkadiboxview.c/buggy/gtkadiboxview/gtkadiboxview.c