diff -r 909fe96e5659 -r 102fc0b8fe3e ui/ui/graphics.h
--- a/ui/ui/graphics.h	Sun Jan 24 22:20:47 2016 +0100
+++ b/ui/ui/graphics.h	Mon Jan 25 16:36:31 2016 +0100
@@ -46,6 +46,7 @@
 };
 
 UIWIDGET ui_drawingarea(UiObject *obj, ui_drawfunc f, void *userdata);
+void ui_drawingarea_mousehandler(UiObject *obj, UIWIDGET widget, ui_callback f, void *u);
 void ui_drawingarea_getsize(UIWIDGET drawingarea, int *width, int *height);
 void ui_drawingarea_redraw(UIWIDGET drawingarea);