Destroy the divelist (tree) before calling gtk_main_quit()

Added new function dive_list_destroy() in divelist.c

Signed-off-by: Lubomir I. Ivanov <neolit123@gmail.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
This commit is contained in:
Lubomir I. Ivanov 2012-10-02 01:52:43 +03:00 committed by Dirk Hohndel
parent 7f01b91c99
commit cfefa0206d
3 changed files with 8 additions and 0 deletions

View file

@ -2294,6 +2294,11 @@ GtkWidget *dive_list_create(void)
return dive_list.container_widget;
}
void dive_list_destroy(void)
{
gtk_widget_destroy(dive_list.tree_view);
}
void mark_divelist_changed(int changed)
{
dive_list.changed = changed;