diff -r 909fe96e5659 -r 102fc0b8fe3e ui/gtk/toolkit.c
--- a/ui/gtk/toolkit.c	Sun Jan 24 22:20:47 2016 +0100
+++ b/ui/gtk/toolkit.c	Mon Jan 25 16:36:31 2016 +0100
@@ -174,54 +174,3 @@
 }
 
 
-/* -------------------- common widget functions -------------------- */
-
-static gboolean widget_button_pressed(
-        GtkWidget *widget,
-        GdkEvent *event,
-        gpointer userdata)
-{
-    UiEventData *eventdata = userdata;
-    
-    UiMouseEvent me;
-    me.x = (int)event->button.x;
-    me.y = (int)event->button.y;
-    
-    int exec = 0;
-    if(event->button.type == GDK_BUTTON_PRESS) {
-        exec = 1;
-        me.type = UI_PRESS;
-    } else if(event->button.type == GDK_2BUTTON_PRESS) {
-        exec = 1;
-        me.type = UI_PRESS2;
-    }
-    
-    if(exec) {
-        UiEvent e;
-        e.obj = eventdata->obj;
-        e.window = eventdata->obj->window;
-        e.document = eventdata->obj->ctx->document;
-        e.eventdata = &me;
-        e.intval = 0;
-        eventdata->callback(&e, eventdata->userdata);
-    }
-    return true;
-}
-
-void ui_mouse_handler(UiObject *obj, UIWIDGET widget, ui_callback f, void *u) {
-    gtk_widget_set_events(widget, GDK_BUTTON_PRESS_MASK);
-    if(f) {
-        UiEventData *event = malloc(sizeof(UiEventData));
-        event->obj = obj;
-        event->callback = f;
-        event->userdata = u;
-        
-        g_signal_connect(G_OBJECT(widget),
-                "button-press-event",
-                G_CALLBACK(widget_button_pressed),
-                event);
-    } else {
-         // TODO: warning
-    }
-}
-