diff -r 62921b370c60 -r ee49d1852a5f ui/motif/button.h
--- a/ui/motif/button.h	Sun Jan 21 12:13:09 2018 +0100
+++ b/ui/motif/button.h	Sun Jul 01 19:03:26 2018 +0200
@@ -50,16 +50,16 @@
 } RadioEventData;
 
 // wrapper
-int ui_toggle_button_get(UiInteger *i);
-void ui_toggle_button_set(UiInteger *i, int value);
+int64_t ui_toggle_button_get(UiInteger *i);
+void ui_toggle_button_set(UiInteger *i, int64_t value);
 void ui_toggle_button_callback(
         Widget widget,
         UiEventData *data,
         XmToggleButtonCallbackStruct *e);
 void ui_push_button_callback(Widget widget, UiEventData *event, XtPointer d);
 
-int ui_radiobutton_get(UiInteger *value);
-void ui_radiobutton_set(UiInteger *value, int i);
+int64_t ui_radiobutton_get(UiInteger *value);
+void ui_radiobutton_set(UiInteger *value, int64_t i);
 
 #ifdef	__cplusplus
 }