--- a/ui/motif/button.h Fri Mar 21 13:20:53 2014 +0100
+++ b/ui/motif/button.h Sat Mar 22 10:37:12 2014 +0100
@@ -44,6 +44,7 @@
Widget widget,
UiEventData *data,
XmToggleButtonCallbackStruct *e);
+void ui_push_button_callback(Widget widget, UiEventData *event, XtPointer d);
#ifdef __cplusplus
}