diff -r d499b29d7cb6 -r 29d98cff4f56 ui/gtk/button.c
--- a/ui/gtk/button.c	Sat Nov 11 11:59:06 2017 +0100
+++ b/ui/gtk/button.c	Sat Nov 11 12:22:16 2017 +0100
@@ -84,13 +84,13 @@
     event->callback(&e, event->userdata);
 }
 
-int ui_toggle_button_get(UiInteger *integer) {
+int64_t ui_toggle_button_get(UiInteger *integer) {
     GtkToggleButton *button = integer->obj;
     integer->value = (int)gtk_toggle_button_get_active(button);
     return integer->value;
 }
 
-void ui_toggle_button_set(UiInteger *integer, int value) {
+void ui_toggle_button_set(UiInteger *integer, int64_t value) {
     GtkToggleButton *button = integer->obj;
     integer->value = value;
     gtk_toggle_button_set_active(button, value != 0 ? TRUE : FALSE);
@@ -226,7 +226,7 @@
     ui_notify_evt(i->observers, &e);
 }
 
-int ui_radiobutton_get(UiInteger *value) {
+int64_t ui_radiobutton_get(UiInteger *value) {
     int selection = 0;
     GSList *ls = value->obj;
     int i = 0;
@@ -244,7 +244,7 @@
     return selection;
 }
 
-void ui_radiobutton_set(UiInteger *value, int i) {
+void ui_radiobutton_set(UiInteger *value, int64_t i) {
     GSList *ls = value->obj;
     int s = g_slist_length(ls) - 1 - i;
     int j = 0;