diff -r eeb50c534497 -r c1a75454b444 ui/motif/button.h
--- 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
 }