release resource of gtk

[wenmhappy]

hi everyone,
 
        I run GtkLauncher(webkit/gtk/directfb), I find gtk/directfb are not 
released even if gtk_widget_destroy(top_window) has been called before 
gtk_main() quit.
        I don`t find function such as gtk_term or gtk_deinit() to release gtk . 
  How to release whole gtk resources when application quit?
 
Thanks.
Best regards.
_______________________________________________
gtk-app-devel-list mailing list
gtk-app-devel-list@gnome.org
http://mail.gnome.org/mailman/listinfo/gtk-app-devel-list