--- a/ui/gtk/toolkit.h Wed Apr 02 20:31:47 2014 +0200 +++ b/ui/gtk/toolkit.h Thu Apr 03 11:12:22 2014 +0200 @@ -44,6 +44,7 @@ int value; } UiEventData; +void ui_destroy_userdata(GtkWidget *object, void *userdata); #ifdef __cplusplus }