diff: ui/ui/graphics.h
ui/ui/graphics.h
- changeset 115
- 102fc0b8fe3e
- parent 114
- 909fe96e5659
- child 140
- c03c338a7dcf
--- 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);
