diff -r 6ef2c7f73a30 -r 4697592e24ba ui/gtk/button.c
--- a/ui/gtk/button.c	Mon Jan 05 14:47:19 2015 +0100
+++ b/ui/gtk/button.c	Mon Jan 05 18:47:07 2015 +0100
@@ -39,9 +39,10 @@
     GtkWidget *button = gtk_button_new_with_label(label);
     
     if(f) {
-        UiEventData *event = ucx_mempool_malloc(
-                obj->ctx->mempool,
-                sizeof(UiEventData));
+        //UiEventData *event = ucx_mempool_malloc(
+        //        obj->ctx->mempool,
+        //        sizeof(UiEventData));
+        UiEventData *event = malloc(sizeof(UiEventData));
         event->obj = obj;
         event->userdata = data;
         event->callback = f;