release resource of gtk

[wenmhappy <wenmhappy 126 com>]

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.