diff -r 11f3bb408051 -r 62921b370c60 ui/gtk/tree.h
--- a/ui/gtk/tree.h	Wed Nov 22 12:59:13 2017 +0100
+++ b/ui/gtk/tree.h	Sun Jan 21 12:13:09 2018 +0100
@@ -59,6 +59,7 @@
 GtkWidget* ui_get_tree_widget(UIWIDGET widget);
 
 void ui_listview_update(UiList *list, int i);
+void ui_combobox_destroy(GtkWidget *w, UiListView *v);
 void ui_listview_destroy(GtkWidget *w, UiListView *v);
 
 void ui_listview_activate_event(