--- a/ui/gtk/button.h Sat Nov 11 11:59:06 2017 +0100 +++ b/ui/gtk/button.h Sat Nov 11 12:22:16 2017 +0100 @@ -50,8 +50,8 @@ void ui_radio_obs(GtkToggleToolButton *widget, UiVarEventData *event); -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 }