diff -r 7a36f91c22f7 -r a499c8a72c15 ui/gtk/toolkit.h
--- a/ui/gtk/toolkit.h	Tue Apr 01 11:50:32 2014 +0200
+++ b/ui/gtk/toolkit.h	Tue Apr 01 11:53:10 2014 +0200
@@ -41,6 +41,7 @@
     UiObject    *obj;
     ui_callback callback;
     void        *user_data;
+    int         value;
 } UiEventData;