ui/gtk/toolkit.h

changeset 21
012418e7dc90
parent 16
a499c8a72c15
child 33
458831c574f4
--- 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
 }

mercurial