GTK_WIDGET        541 scripts/kconfig/gconf.c 	gtk_widget_destroy(GTK_WIDGET(user_data));
GTK_WIDGET        567 scripts/kconfig/gconf.c 		gtk_widget_destroy(GTK_WIDGET(main_wnd));